Journal article
A generic static analyzer for multithreaded Java programs
- Ferrara, P. Department of Computer Science; ETH Zurich; Zurich; Switzerland
- 2012-5-9
Published in:
- Software: Practice and Experience. - Wiley. - 2012, vol. 43, no. 6, p. 663-684
- Language
-
- English
- Open access status
- closed
- Identifiers
-
- DOI 10.1002/spe.2126
- ISSN 0038-0644
- Persistent URL
- https://sonar.ch/global/documents/231454
Statistics
Document views: 45
File downloads: