Open access
Author
Date
2016Type
- Master Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-010807288Publication status
publishedPublisher
ETH-ZürichSubject
PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); SPEZIELLE PROGRAMMIERSPRACHEN; PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); VERIFICATION (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING LANGUAGESOrganisational unit
03594 - Meyer, Bertrand (emeritus)
Notes
Masterarbeit. ETH Zürich. 2016.More
Show all metadata
ETH Bibliography
yes
Altmetrics