Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Burkhart Wolff
Latest
Event-B as DSL in Isabelle and HOL Experiences from a Prototype
Using Deep Ontologies in Formal Software Engineering
Cite
×