Open access
Autor(in)
Datum
2009Typ
- Master Thesis
ETH Bibliographie
yes
Altmetrics
Persistenter Link
https://doi.org/10.3929/ethz-a-005816869Publikationsstatus
publishedVerlag
ETH Institute of Software EngineeringThema
VERIFIKATION (SOFTWARE ENGINEERING); VERIFICATION (SOFTWARE ENGINEERING)Organisationseinheit
03594 - Meyer, Bertrand (emeritus)
Anmerkungen
Master project report, Swiss Federal Institute of Technology Zurich, 2009.ETH Bibliographie
yes
Altmetrics