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)

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

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=005763266

Abstract Views and Downloads
Views	44
Downloads	67

Abstract Views and Downloads by Country
	Views	14
	Downloads	20
Switzerland	Views	20
Switzerland	Downloads	19
United States	Views	3
United States	Downloads	14
China	Views	4
China	Downloads	6
Germany	Views	2
Germany	Downloads	2
Australia	Views	0
Australia	Downloads	1
France	Views	0
France	Downloads	1
Kuwait	Views	0
Kuwait	Downloads	1
Liechtenstein	Views	1
Liechtenstein	Downloads	1
Netherlands	Views	0
Netherlands	Downloads	1
Spain	Views	0
Spain	Downloads	1