%0 Conference Paper %1 conf/icse/CatanoLR12 %A Cataño, Néstor %A Leino, K. Rustan M. %A Rivera, Víctor %B TOPI@ICSE %D 2012 %E Garbervetsky, Diego %E Kim, Sunghun %I IEEE Computer Society %K dblp %P 49-54 %T The EventB2Dafny rodin plug-in. %U http://dblp.uni-trier.de/db/conf/icse/topi2012.html#CatanoLR12 %@ 978-1-4673-1820-4

@inproceedings{conf/icse/CatanoLR12, added-at = {2018-11-14T00:00:00.000+0100}, author = {Cataño, Néstor and Leino, K. Rustan M. and Rivera, Víctor}, biburl = {https://www.bibsonomy.org/bibtex/24ecdda6a94b0608fdafd4f8c99b26182/dblp}, booktitle = {TOPI@ICSE}, crossref = {conf/icse/2012topi}, editor = {Garbervetsky, Diego and Kim, Sunghun}, ee = {https://www.wikidata.org/entity/Q57491317}, interhash = {3b37f9953c59ad91b7194010c34414dd}, intrahash = {4ecdda6a94b0608fdafd4f8c99b26182}, isbn = {978-1-4673-1820-4}, keywords = {dblp}, pages = {49-54}, publisher = {IEEE Computer Society}, timestamp = {2018-11-15T17:20:07.000+0100}, title = {The EventB2Dafny rodin plug-in.}, url = {http://dblp.uni-trier.de/db/conf/icse/topi2012.html#CatanoLR12}, year = 2012 }