Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Joshua Schmidt
Latest
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out
A Translation from Alloy to B
Interactive Model Repair by Synthesis
Cite
×