The Dafny Integrated Development Environment

Thumbnail
Metadata only
Author
Leino, K. Rustan M.
Wüstholz, Valentin
Date
2014
Type
    Conference Paper
Publication status
published
External links
Search via SFX
Editor
Dubois, Catherine
Giannakopoulou, Dimitra
Méry, Dominique
Book title
Proceedings of the 1st Workshop on Formal Integrated Development Environment
Journal / series
Electronic Proceedings in Theoretical Computer Science
Volume
149
Pages / Article No.
3 - 15
Publisher
Open Publishing Association
Event
1st Workshop on Formal Integrated Development Environment (F-IDE 2014), Grenoble, France, April 6, 2014
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics