Combined Static and Dynamic Analysis

Metadata Label Value
Author(s): Artho, Cyrille, Biere, Armin
Publisher: ETH, Department of Computer Science
Citation:

Artho, Cyrille and Biere, Armin. Combined Static and Dynamic Analysis. ETH, Department of Computer Science (2005). http://dx.doi.org/10.3929/ethz-a-006775577

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

Detailed Information

Metadata Description
Title Combined Static and Dynamic Analysis
Author(s) Artho, Cyrille
Biere, Armin
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2005
Series [Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science] [466]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006775577
Subject(s) Software
Keyword(s) VERIFICATION
COMPUTING TIME
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4800-01.pdf application/pdf 95.47KB
Abstract Views and Downloads
Views 39  abstracts
Downloads 21  downloads

Abstract Views and Downloads by Country
Views 17  abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Malaysia Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads


E-Collection record created: Tue, 20 Dec 2011, 06:14:57 CET