VSTTE 2010 workshop proceedings

Download
Text (PDF, 2.114Mb)
Thumbnail
Open access
Author
Joshi, Rajeev
Margaria, Tiziana
Müller, Peter
Naumann, David
Yang, Hongseok
Show all
Date
2010-08
Type
    Report
Rights / license
In Copyright - Non-Commercial Use Permitted
Abstract
The third instance of Verified Software: Theories, Tools and Experiments hosted workshops on Theory and on Tools & Experiments. This report contains the accepted papers of both workshops.
Permanent link
https://doi.org/10.3929/ethz-a-006860117
Publication status
published
Journal / series
Technical Report / ETH Zurich, Department of Computer Science
Volume
676
Publisher
ETH, Department of Computer Science, Chair of Programming Methodology
Event
IFIP TC 2/WG 2.3 Working Conference on Verified Software: Theories, Tools, Experiments, Edinburgh, 2010
Subject
VERIFICATION (SOFTWARE ENGINEERING); Program verification; Verified Software; VERIFIKATION (SOFTWARE ENGINEERING); Grand Challenge
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics