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