Staff
Lead researchers
Research outputs
Mehrnoosh Sadrzadeh, Corina Cirstea, Wiebe van der Hoek, Michael Wooldridge & Giacomo Bonanno,
2006
Type: conference
Research project
Modular approach to model based verification
-
Lead researchers:
-
Research funder:EPSRC
-
Status:Not active