Improving Cee and ownership-based verification
Open access
Date
2009Type
- Master Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-005816880Publication status
publishedExternal links
Search via SFX
Publisher
ETH Institute of Software EngineeringSubject
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