Degree
thesis:*- Grantor dc:publisher
- ETH
- Year dc:date
- 2009
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Nordio, Darío M.
- Contributors dc:contributor
-
- Barthe, Gilles
- Meyer, Bertrand
Subjects
dc:subject × 3- OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); TESTING + DEBUGGING (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); CORRECTNESS (THEORY OF PROGRAMMING)
- info:eu-repo/classification/ddc/004
- Data processing, computer science
Rights
dc:rights- Statement dc:rights
-
- info:eu-repo/semantics/openAccess
- In Copyright - Non-Commercial Use Permitted
- Language dc:language
- en
Identifiers
dc:identifier.*- Identifier
- https://doi.org/10.3929/ethz-a-006042266
- OAI identifier oai:identifier
- oai:www.research-collection.ethz.ch:20.500.11850/72690