Embedding proof-carrying components into Isabelle

Metadata Label Value
Author(s): Hauser, Bruno
Publisher: ETH, Swiss Federal Institute of Technology Zurich, Institute of Theoretical Computer Science, Chair of Software Engineering
Citation:

Hauser, Bruno. Embedding proof-carrying components into Isabelle. ETH, Swiss Federal Institute of Technology Zurich, Institute of Theoretical Computer Science, Chair of Software Engineering (2009). http://dx.doi.org/10.3929/ethz-a-005763266

Document Type: Master Theses  
Documents: Text (2.55MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Embedding proof-carrying components into Isabelle
Author(s) Hauser, Bruno
Publication Place Zurich
Publisher ETH, Swiss Federal Institute of Technology Zurich, Institute of Theoretical Computer Science, Chair of Software Engineering
Publication Date 2009
Notes Master Thesis, Swiss Federal Institute of Technology Zurich, 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005763266
Subject(s) Software
Keyword(s) CODING
VALIDATION
VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2009
Description File Name MIME Type Size
Text   eth-41463-01.pdf application/pdf 2.55MB
Abstract Views and Downloads
Views 55  abstracts
Downloads 83  downloads

Abstract Views and Downloads by Country
Views 17  abstracts
Downloads 25  downloads
Switzerland Views 20  abstracts
Downloads 19  downloads
United States Views abstracts
Downloads 17  downloads
China Views 11  abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Liechtenstein Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads


E-Collection record created: Fri, 13 Mar 2009, 04:27:16 CET