Mechanizing proofs of program properties

Download
Abstract (PDF, 144.2Kb)
Fulltext (PDF, 5.909Mb)
Thumbnail
Closed access
Author
Gitsels, Martin
Date
1998
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-001878269
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Gutknecht, Jürg
Examiner: Sanders, Beverly A.
Publisher
ETH Zürich
Subject
KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK); CORRECTNESS (THEORY OF PROGRAMMING); AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
Notes
Abweichendes Jahr auf dem Umschlag: 1997. Diss. Techn. Wiss. ETH Zürich, Nr. 12057, 1998. Ref.: J. Gutknecht ; Korref.: B. Sanders.
More
Show all metadata
ETH Bibliography
yes
Altmetrics