Permission-Based Verifcation of Subclassing and Traits (English)
- New search for: Bühlmann, Andreas
2013
- Theses / Electronic Resource
-
Title:Permission-Based Verifcation of Subclassing and Traits
-
Contributors:
-
Dissertation:Zugl.: Zürich, Master Thesis
-
Publisher:
-
Place of publication:Zürich
-
Publication date:2013
-
Size:Online-Ressource (Online-Ressource)
-
DOI:
-
Type of media:Theses
-
Type of material:Electronic Resource
-
Language:English
-
Source: