Verifying spec# delegates

Metadata Label Value
Author(s): Gantner, Samuele
Publisher: ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Programming Methodology
Citation:

Gantner, Samuele. Verifying spec# delegates. ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Programming Methodology (2008). http://dx.doi.org/10.3929/ethz-a-005677935

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

Detailed Information

Metadata Description
Title Verifying spec# delegates
Author(s) Gantner, Samuele
Publication Place Zürich
Publisher ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Programming Methodology
Publication Date 2008
Notes Master thesis, Eidgenössische Technische Hochschule, 2008
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005677935
Subject(s) Software
Keyword(s) VERIFICATION
PROGRAMMING LANGUAGES
Organisational Unit Department of Computer Science
Online Publication Date 2008
Description File Name MIME Type Size
Text   eth-30801-01.pdf application/pdf 1.92MB
Abstract Views and Downloads
Views 44  abstracts
Downloads 132  downloads

Abstract Views and Downloads by Country
Views 13  abstracts
Downloads 39  downloads
United States Views abstracts
Downloads 34  downloads
Brazil Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
China Views 18  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Algeria Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Benin Views abstracts
Downloads downloads
Bulgaria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Croatia Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Malta Views abstracts
Downloads downloads
Morocco Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads


E-Collection record created: Fri, 17 Oct 2008, 01:17:33 CET