Decomposing image computation for symbolic reachability analysis using control flow information
Conference Proceeding
Overview
publication date
- November 5, 2006
Date in CU Experts
- May 28, 2014 4:11 AM
Full Author List
- Ward D; Somenzi F
author count
- 2
presented at event
Other Profiles
International Standard Book Number (ISBN) 13
- 978-1-59593-389-8
Additional Document Info
start page
- 33
end page
- +