Localizing and understanding verification errors

Metadata Label Value
Author(s): Ruskiewicz, Joseph Nicholas
Publisher: ETH
Citation:

Ruskiewicz, Joseph Nicholas. Localizing and understanding verification errors. ETH (2012). http://dx.doi.org/10.3929/ethz-a-007326234

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (131.46KB) , Fulltext (964.15KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Localizing and understanding verification errors
Author(s) Ruskiewicz, Joseph Nicholas
Publication Place Zürich
Publisher ETH
Publication Date 2012
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 20181, 2012
Language English
DOI http://dx.doi.org/10.3929/ethz-a-007326234
Subject(s) Software
Keyword(s) CORRECTNESS
VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2012
Description File Name MIME Type Size
Abstract   eth-5770-01.pdf application/pdf 131.46KB
Fulltext   eth-5770-02.pdf application/pdf 964.15KB
Abstract Views and Downloads
Views 40  abstracts
Downloads 67  downloads

Abstract Views and Downloads by Country
Views 14  abstracts
Downloads 35  downloads
United States Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Myanmar Views abstracts
Downloads downloads
Peru Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Sat, 14 Jul 2012, 04:23:55 CET