Thresher: Precise Refutations for Heap Reachability Conference Proceeding
Overview
publication date
- June 16, 2013
has restriction
- closed
Date in CU Experts
- October 17, 2013 8:36 AM
Full Author List
- Blackshear S; Chang B-YE; Sridharan M
author count
- 3
citation count
- 30
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0362-1340
Electronic International Standard Serial Number (EISSN)
- 1558-1160
Digital Object Identifier (DOI)
Additional Document Info
start page
- 275
end page
- 286
volume
- 48
issue
- 6