"BEval: A Plug-in to Extend Atelier B with Current Verification Technologies."

Valério Medeiros Júnior, David Déharbe (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics