Research project

Modular approach to model based verification

Staff

Lead researchers

Associate Professor

Connect with Corina

Email: cc2@ecs.soton.ac.uk

Mehrnoosh Sadrzadeh, Corina Cirstea, Wiebe van der Hoek, Michael Wooldridge & Giacomo Bonanno, 2006

Type: conference