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

Research interests: Formal methods, specification, AI

Contributions