Methods
Conferences
Case Studies
Publications
Keynotes
Committee
João Marques-Silva 0001
Latest
Model Checking Event-B by Encoding into Alloy
Cite
×