Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Peter Riviere
Latest
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework
Cite
×