Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Paulo J. Matos
Latest
Model Checking Event-B by Encoding into Alloy
Cite
×