Skip to content
cs-conference-ranking.org

The EventB2Dafny rodin plug-in.

Nstor Catao, K. Rustan M. Leino, Vctor Rivera

VenueA*ICSE
Year2012
ProceedingsTOPI@ICSE
DBLP recordconf/icse/CatanoLR12 ↗

Browse the full ICSE paper archive.