Open access
Author
Date
2005Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-005124898Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETHSubject
VERIFIKATION (SOFTWARE ENGINEERING); SDL, SPECIFICATION AND DESCRIPTION LANGUAGE (COMPUTERSYSTEME); C (PROGRAMMIERSPRACHEN); VERIFICATION (SOFTWARE ENGINEERING); SDL, SPECIFICATION AND DESCRIPTION LANGUAGE (COMPUTER SYSTEMS); C (PROGRAMMING LANGUAGES)Organisational unit
03560 - Biere, Armin
Notes
Diss., Technische Wissenschaften, Eidgenössische Technische Hochschule ETH Zürich, Nr. 16312, 2006.More
Show all metadata
ETH Bibliography
yes
Altmetrics