Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Catherine Dubois
Latest
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations
Cite
×