Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Conor Reynolds
Latest
FRETting and Formal Modelling: A Mechanical Lung Ventilator
Formalizing the Institution for Event-B in the Coq Proof Assistant
Cite
×