Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Vladimiro Sassone
Latest
Designing Exception Handling Using Event-B
Verifying System-Level Security of a Smart Ballot Box
Cite
×