Improving Cee and ownership-based verification

Metadata Label Value
Author(s): Studer, Christoph
Publisher: ETH Institute of Software Engineering
Citation:

Studer, Christoph. Improving Cee and ownership-based verification. ETH Institute of Software Engineering (2009). http://dx.doi.org/10.3929/ethz-a-005816880

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

Detailed Information

Metadata Description
Title Improving Cee and ownership-based verification
Author(s) Studer, Christoph
Publication Place Zürich
Publisher ETH Institute of Software Engineering
Publication Date 2009
Notes Master's thesis, Swiss Federal Institute of Technology Zurich, 2009
Language German
DOI http://dx.doi.org/10.3929/ethz-a-005816880
Subject(s) Software
Keyword(s) VERIFICATION
Organisational Unit Chair for Software Engineering
Online Publication Date 2009
Description File Name MIME Type Size
Text   eth-41830-01.pdf application/pdf 972.11KB
Abstract Views and Downloads
Views 82  abstracts
Downloads 83  downloads

Abstract Views and Downloads by Country
Views 18  abstracts
Downloads 27  downloads
Switzerland Views 23  abstracts
Downloads 19  downloads
Germany Views abstracts
Downloads downloads
United States Views 22  abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
China Views 14  abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads


E-Collection record created: Fri, 19 Jun 2009, 03:24:04 CET