The Dafny Integrated Development Environment

Thumbnail
Metadata only
Author
Leino, K.R.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
1st Workshop on Formal Integrated Development Environment
Journal / series
Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume
149
Pages / Article No.
3 - 15
Publisher
Open Publishing Association
Event
1st Workshop on Formal Integrated Development Environment, Grenoble, France, April 6, 2014
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics