Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Marcel Vinícius Medeiros Oliveira
Latest
Integrating SMT-Solvers in Z and B Tools
Tool Support for the CircusRefinement Calculus
Cite
×