Open access
Autor(in)
Datum
2009Typ
- Report
ETH Bibliographie
yes
Altmetrics
Persistenter Link
https://doi.org/10.3929/ethz-a-006835634Publikationsstatus
publishedZeitschrift / Serie
Technical Report / ETH Zurich, Department of Computer ScienceBand
Verlag
Swiss Federal Institute of Technology, Information SecurityThema
VERIFICATION (SOFTWARE ENGINEERING); TESTING + DEBUGGING (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Technical Reports D-INFK.ETH Bibliographie
yes
Altmetrics