Verifying spec# delegates

Download
Text (PDF, 1.929Mb)
Thumbnail
Open access
Author
Gantner, Samuele
Date
2008
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-005677935
Publication status
published
Publisher
ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Programming Methodology
Subject
VERIFIKATION (SOFTWARE ENGINEERING); C++ (PROGRAMMIERSPRACHEN); VERIFICATION (SOFTWARE ENGINEERING); C++ (PROGRAMMING LANGUAGES)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Master thesis, Eidgenössische Technische Hochschule, 2008.
More
Show all metadata
ETH Bibliography
yes
Altmetrics