Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Héctor Ruíz Barradas
Latest
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B
Cite
×