iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/LeinoW14.rdf
K. Rustan M. Leino and Valentin Wüstholz: The Dafny Integrated Development Environment. (2014) journals/corr/LeinoW14 10.4204/EPTCS.149.2 1404.6602 The Dafny Integrated Development Environment. 2 K. Rustan M. Leino 1 Valentin Wüstholz 2 3-15 F-IDE F-IDE 2014 2014 provenance information for RDF data of dblp record 'journals/corr/LeinoW14' 2018-09-12T01:05:15+0200