Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Kunihiko Miyazaki
Latest
Formal System Modelling Using Abstract Data Types in Event-B
Cite
×