Methods
Conferences
Case Studies
Publications
Keynotes
Committee
David Delahaye
Latest
An Automation-Friendly Set Theory for the B Method
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations
Cite
×