Closed access
Author
Date
1975Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000203993Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
JurisSubject
VERIFIKATION (SOFTWARE ENGINEERING); PASCAL (PROGRAMMIERSPRACHEN); VERIFICATION (SOFTWARE ENGINEERING); PASCAL (PROGRAMMING LANGUAGES)Notes
Diss. Math. ETH Zürich, Nr. 5629, 0000. Ref.: Wirth, N. ; Korref.: Engeler, E..More
Show all metadata
ETH Bibliography
yes
Altmetrics