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]
@inproceedings{CatanoLR12,
title = {The EventB2Dafny rodin plug-in},
author = {Néstor Cataño and K. Rustan M. Leino and Víctor Rivera},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2667071},
researchr = {https://researchr.org/publication/CatanoLR12},
cites = {0},
citedby = {0},
pages = {49-54},
booktitle = {Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, TOPI 2012, Zurich, Switzerland, June 3, 2012},
editor = {Diego Garbervetsky and Sunghun Kim},
publisher = {IEEE},
isbn = {978-1-4673-1820-4},
}