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
Editor
Baier, Christel
Tinelli, Cesare
Book title
Tools and Algorithms for the Construction and Analysis of Systems
Journal / series
Lecture Notes in Computer Science
Volume
9035
Pages / Article No.
566 - 580
Publisher
Springer
Event
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015), London, UK, April 11-18, 2015
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
More
Show all metadata
ETH Bibliography
yes
Altmetrics