Mechanizing proofs of program properties

Metadata Label Value
Author(s): Gitsels, Martin
Publisher: Unknown
Citation:

Gitsels, Martin. Mechanizing proofs of program properties. (1998). http://dx.doi.org/10.3929/ethz-a-001878269

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (144.25KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Mechanizing proofs of program properties
Author(s) Gitsels, Martin
Publication Place Zürich
Publication Date 1998
Notes Diss. Techn. Wiss. ETH Zürich, Nr. 12057, 1998. Ref.: J. Gutknecht ; Korref.: B. Sanders
Language English
DOI http://dx.doi.org/10.3929/ethz-a-001878269
Subject(s) Computer Science, General
Software
Keyword(s) CORRECTNESS
THEORY OF PROGRAMMING
AUTOMATED THEOREM PROVING
MATHEMATICAL LOGIC
Description File Name MIME Type Size
Abstract   eth-40982-01.pdf application/pdf 144.25KB
Abstract Views and Downloads
Views 44  abstracts
Downloads 41  downloads

Abstract Views and Downloads by Country
Views 19  abstracts
Downloads 18  downloads
United States Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
China Views 13  abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Madagascar Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 16:25:02 CET