Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jean-Christophe Filliâtre
Latest
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers
Cite
×