TAP 2009: short papers

Metadata Label Value
Author(s): Blanchette, J.C., Nipkow, Tobias, Cama, Benjamin, Gotlieb, Arnaud, Andrade-Barroso, Guillermo, Neumann, Rebecca, Thies, Michael, Karstens, Uwe
Publisher: Swiss Federal Institute of Technology
Citation:

Blanchette, J.C., Nipkow, Tobias, Cama, Benjamin, Gotlieb, Arnaud, Andrade-Barroso, Guillermo, Neumann, Rebecca, Thies, Michael and Karstens, Uwe. TAP 2009: short papers. Swiss Federal Institute of Technology (2009). http://dx.doi.org/10.3929/ethz-a-006835711

Document Type: Reports  
Documents: Text (556.88KB)
Import to Mendeley

Detailed Information

Metadata Description
Title TAP 2009: short papers
Author(s) Blanchette, J.C.
Nipkow, Tobias
Cama, Benjamin
Gotlieb, Arnaud
Andrade-Barroso, Guillermo
Neumann, Rebecca
Thies, Michael
Karstens, Uwe
Publication Place Zurich
Publisher Swiss Federal Institute of Technology
Publication Date 2009
Series ETH technical report [630]
Conference Name International Conference on Tests and Proofs
Conference Location Zürich
Conference Date 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006835711
Subject(s) Software
Keyword(s) TESTING
DEBUGGING
CORRECTNESS
THEORY OF PROGRAMMING
INFERENCE SEARCH
PROOF THEORY
MATHEMATICAL LOGIC
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-5024-01.pdf application/pdf 556.88KB
Abstract Views and Downloads
Views 35  abstracts
Downloads downloads

Abstract Views and Downloads by Country
Views 22  abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Sat, 14 Jan 2012, 06:18:09 CET