Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jean-Paul Bodeveix
Latest
Verifying HyperLTL Properties in Event-B
Pattern-Based Refinement Generation Through Domain Specific Languages
Event-B Formalization of Event-B Contexts
Cite
×