Metadata only
Author
Date
2013-06Type
- Journal Article
Publication status
publishedExternal links
Journal / series
Software : practice & experienceVolume
Pages / Article No.
Publisher
Wiley-BlackwellSubject
Static analysis; Generic analyzers; Abstract interpretation; Multithreaded programsOrganisational unit
03653 - Müller, Peter / Müller, Peter
Notes
Article first published online 9 May 2012, Manuscript accepted 5 April 2012, Manuscript revised 9 January 2012, Manuscript received 26 April 2011.More
Show all metadata