The EventB2Dafny rodin plug-in

Néstor Cataño, K. Rustan M. Leino, Víctor Rivera. The EventB2Dafny rodin plug-in. In Diego Garbervetsky, Sunghun Kim, editors, Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, TOPI 2012, Zurich, Switzerland, June 3, 2012. pages 49-54, IEEE, 2012. [doi]

Abstract

Abstract is missing.