Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Mareike Mutz
Latest
Modelling and Validating an Automotive System in Classical B and Event-B
Cite
×