VSTTE 2010 workshop proceedings

Metadata Label Value
Author(s): Joshi, Rajeev, Margaria, Tiziana, Müller, Peter, Naumann, David, Yang, Hongseok
Publisher: ETH, Department of Computer Science
Citation:

Joshi, Rajeev, Margaria, Tiziana, Müller, Peter, Naumann, David and Yang, Hongseok. VSTTE 2010 workshop proceedings. ETH, Department of Computer Science (2010). http://dx.doi.org/10.3929/ethz-a-006860117

Document Type: Reports  
Documents: Text (2.11MB)
Import to Mendeley

Detailed Information

Metadata Description
Title VSTTE 2010 workshop proceedings
Author(s) Joshi, Rajeev
Margaria, Tiziana
Müller, Peter
Naumann, David
Yang, Hongseok
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2010
Series [Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science] [676]
Conference Name IFIP TC 2/WG 2.3 Working Conference on Verified Software: Theories, Tools, Experiments
Conference Location Edinburgh
Conference Date 2010
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006860117
Subject(s) Software
Keyword(s) VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-5084-01.pdf application/pdf 2.11MB
Abstract Views and Downloads
Views 42  abstracts
Downloads 110  downloads

Abstract Views and Downloads by Country
Views 20  abstracts
Downloads 58  downloads
United States Views abstracts
Downloads 12  downloads
China Views abstracts
Downloads 11  downloads
Germany Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Europe Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads


E-Collection record created: Sat, 21 Jan 2012, 06:34:55 CET