Program Checking With Less Hassle

Thumbnail
Metadata only
Author
Tschannen, Julian
Furia, Carlo A.
Nordio, Martin
Meyer, Bertrand
Show all
Date
2014
Type
    Conference Paper
Publication status
published
External links
Editor
Cohen, Ernie
Rybalchenko, Andrey
Book title
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Journal / series
Lecture Notes in Computer Science
Volume
8164
Pages / Article No.
149 - 169
Publisher
Springer
Event
5th International Conference on Verified Software: Theorie, Tools, Experiments (VSTTE 2013), Menlo Park, CA, USA, May 17-19, 2013
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
More
Show all metadata
ETH Bibliography
yes
Altmetrics