AutoProof: Auto-active Functional Verification of Object-oriented Programs

Thumbnail
Metadata only
Author
Tschannen, Julian
Furia, Carlo A.
Nordio, Martin
Polikarpova, Nadia
Show all
Date
2015
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Baier, Christel
Tinelli, Cesare
Book title
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Journal / series
Lecture Notes in Computer Science
Volume
9035
Pages / Article No.
566 - 580
Publisher
Springer, 2015
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics