Automatic verification of Eiffel programs

Metadata Label Value
Author(s): Tschannen, Julian
Publisher: ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Sotware Engineering
Citation:

Tschannen, Julian. Automatic verification of Eiffel programs. ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Sotware Engineering (2009). http://dx.doi.org/10.3929/ethz-a-005791827

Document Type: Master Theses  
Documents: Text (596.46KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Automatic verification of Eiffel programs
Author(s) Tschannen, Julian
Publication Place Zurich
Publisher ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Sotware Engineering
Publication Date 2009
Notes Master Thesis, ETH Zurich, 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005791827
Subject(s) Software
Keyword(s) VERIFICATION
VALIDATION
PROGRAMMING LANGUAGES
Organisational Unit Department of Computer Science
Online Publication Date 2009
Description File Name MIME Type Size
Text   eth-41711-01.pdf application/pdf 596.46KB
Abstract Views and Downloads
Views 49  abstracts
Downloads 346  downloads

Abstract Views and Downloads by Country
Views 10  abstracts
Downloads 82  downloads
Switzerland Views 12  abstracts
Downloads 80  downloads
United States Views abstracts
Downloads 33  downloads
Germany Views abstracts
Downloads 32  downloads
China Views 15  abstracts
Downloads 18  downloads
France Views abstracts
Downloads 15  downloads
United Kingdom Views abstracts
Downloads 11  downloads
Italy Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Argentina Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Mexico Views abstracts
Downloads downloads
Mongolia Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Algeria Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Ethiopia Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Luxembourg Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Venezuela Views abstracts
Downloads downloads


E-Collection record created: Tue, 05 May 2009, 03:25:23 CET