"The EventB2Dafny rodin plug-in."

Néstor Cataño, K. Rustan M. Leino, Víctor Rivera (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics