Permission-Based Verifcation of Subclassing and Traits

Download
Text (PDF, 877.0Kb)
Thumbnail
Open access
Author
Bühlmann, Andreas
Date
2013
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-007636128
Publication status
published
Publisher
Eidgenössische Technische Hochschule Zürich,Department of Computer Science
Subject
VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; VERIFICATION (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
Notes
Master Thesis.
More
Show all metadata
ETH Bibliography
yes
Altmetrics