View all research projects

Research project

Modular approach to model based verification

Lead researcher:

Dr Corina Cirstea
Research funder:

EPSRC
Status:

Not active

Staff

Lead researcher

Doctor Corina Cirstea

Dr Corina Cirstea

Associate Professor

Connect with Corina

Email: cc2@ecs.soton.ac.uk

Research outputs

Relating Algebraic and Coalgebraic Logics of Knowledge and Update

Mehrnoosh Sadrzadeh,

Corina Cirstea,

Wiebe van der Hoek,

Michael Wooldridge,

& Giacomo Bonanno

, 2006

Type: conference

Back
to top