Accurate Theorem Proving for Program Verification

Metadata Label Value
Author(s): Cook, Byron, Kröning, Daniel, Sharygina, Natasha
Publisher: ETH, Department of Computer Science
Citation:

Cook, Byron, Kröning, Daniel and Sharygina, Natasha. Accurate Theorem Proving for Program Verification. ETH, Department of Computer Science (2005). http://dx.doi.org/10.3929/ethz-a-006775843

Document Type: Reports  
Documents: Text (183.11KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Accurate Theorem Proving for Program Verification
Author(s) Cook, Byron
Kröning, Daniel
Sharygina, Natasha
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2005
Series Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science 473
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006775843
Subject(s) Software
Keyword(s) DEDUCTION
VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4809-01.pdf application/pdf 183.11KB
Abstract Views and Downloads
Views 64  abstracts
Downloads 29  downloads

Abstract Views and Downloads by Country
Views 22  abstracts
Downloads 10  downloads
China Views 11  abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
United States Views 12  abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Colombia Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Tue, 20 Dec 2011, 06:16:44 CET