Mixing Type Checking and Symbolic Execution Conference Proceeding
Overview
publication date
- June 5, 2010
Date in CU Experts
- October 17, 2013 8:36 AM
Full Author List
- Phang KY; Chang B-YE; Foster JS
author count
- 3
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0362-1340
Electronic International Standard Serial Number (EISSN)
- 1558-1160
Additional Document Info
start page
- 436
end page
- 447
volume
- 45
issue
- 6