Improving Cee and ownership-based verification

Download
Text (Adobe PDF, 972.1Kb)
Thumbnail
Open access
Author
Studer, Christoph
Date
2009
Type
  • Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-005816880
External links
Search via SFX
Publisher
ETH Institute of Software Engineering
Subject
VERIFIKATION (SOFTWARE ENGINEERING); VERIFICATION (SOFTWARE ENGINEERING)
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
Notes
Master's thesis, Swiss Federal Institute of Technology Zurich, 2009.
More
Show all metadata
ETH Bibliography
yes
Altmetrics