Embedding JML-annotated programs in the coq proof system

Metadata Label Value
Author(s): Kägi, Andreas
Publisher: ETH Institute of Software Engineering
Citation:

Kägi, Andreas. Embedding JML-annotated programs in the coq proof system. ETH Institute of Software Engineering (2009). http://dx.doi.org/10.3929/ethz-a-005816869

Document Type: Master and Bachelor Theses  
Documents: Text (815.46KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Embedding JML-annotated programs in the coq proof system
Author(s) Kägi, Andreas
Publication Place Zürich
Publisher ETH Institute of Software Engineering
Publication Date 2009
Notes Master project report, Swiss Federal Institute of Technology Zurich, 2009
Language German
DOI http://dx.doi.org/10.3929/ethz-a-005816869
Subject(s) Software
Keyword(s) VERIFICATION
Organisational Unit Chair for Software Engineering
Online Publication Date 2009
Description File Name MIME Type Size
Text   eth-41829-01.pdf application/pdf 815.46KB
Abstract Views and Downloads
Views 66  abstracts
Downloads 119  downloads

Abstract Views and Downloads by Country
Views 23  abstracts
Downloads 31  downloads
United States Views abstracts
Downloads 17  downloads
Japan Views abstracts
Downloads 11  downloads
France Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
China Views 14  abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Bulgaria Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Malaysia Views abstracts
Downloads downloads
Peru Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Thailand Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
United Arab Emirates Views abstracts
Downloads downloads
Venezuela Views abstracts
Downloads downloads


E-Collection record created: Fri, 19 Jun 2009, 03:23:52 CET