The AutoProof Verifier: Usability by Non-Experts and on Standard Code

Download
Full text (published version) (PDF, 170.3Kb)
Thumbnail
Open access
ccby
Author
Furia, Carlo A.
Poskitt, Christopher M.
Tschannen, Julian
Date
2015
Type
    Conference Paper
Rights / license
Creative Commons Attribution 3.0 Unported
Permanent link
https://doi.org/10.3929/ethz-a-010494616
Publication status
published
External links
Editor
Dubois, Catherine
Masci, Paolo
Méry, Dominique
Book title
Proceedings Second International Workshop on Formal Integrated Development Environment (F-IDE 2015), Oslo, Norway, June 22, 2015
Journal / series
Electronic Proceedings in Theoretical Computer Science
Volume
187
Pages / Article No.
42 - 55
Publisher
Open Publishing Association
Event
Second International Workshop on Formal Integrated Development Environment (F-IDE 2015), Oslo, Norway, June 22, 2015
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
Citations
Cited 8 times in Scopus
ETH Bibliography
yes
Altmetrics