Registered user since Thu 12 Apr 2018
Name:Dalal Alrajeh
Country:United Kingdom
Affiliation:Imperial College London
Personal website: http://www.doc.ic.ac.uk/~da04
X (Twitter): https://x.com/DalalAlrajeh
Research interests:Formal methods, requirements, specification, logic-based learning
Contributions
Using general profile