Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Benoît Ballenghien
Latest
Event-B as DSL in Isabelle and HOL Experiences from a Prototype
Cite
×