An interactive proof environment for object-oriented specifications

Metadata Label Value
Author(s): Brucker, Achim D.
Publisher: ETH
Citation:

Brucker, Achim D.. An interactive proof environment for object-oriented specifications. ETH (2007). http://dx.doi.org/10.3929/ethz-a-005413886

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (166.41KB) , Fulltext (2.50MB)
Import to Mendeley

Detailed Information

Metadata Description
Title An interactive proof environment for object-oriented specifications
Author(s) Brucker, Achim D.
Publication Place Zürich
Publisher ETH
Publication Date 2007
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 17097, 2007
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005413886
Subject(s) Software
Keyword(s) SPECIFICATIONS
CORRECTNESS
THEORY OF PROGRAMMING
OBJECT-ORIENTED PROGRAMMING
PROGRAMMING METHODS
Description File Name MIME Type Size
Abstract   eth-29720-01.pdf application/pdf 166.41KB
Fulltext   eth-29720-02.pdf application/pdf 2.50MB
Abstract Views and Downloads
Views 93  abstracts
Downloads 71  downloads

Abstract Views and Downloads by Country
United States Views abstracts
Downloads 18  downloads
Views 24  abstracts
Downloads 17  downloads
Switzerland Views 12  abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
China Views 28  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Belarus Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Sat, 19 Apr 2008, 05:12:36 CET