Dalal Alrajeh

Registered user since Thu 12 Apr 2018

Name:Dalal Alrajeh
Country:United Kingdom
Affiliation:Imperial College London
Research interests:Formal methods, requirements, specification, logic-based learning

Contributions

Show activities from other conferences

Using general profile