DC2: A framework for scalable, scope-bounded software verification
Conference Proceeding
Overview
publication date
- November 6, 2011
has restriction
- closed
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Ivancic F; Balakrishnan G; Gupta A; Sankaranarayanan S; Maeda N; Tokuoka H; Imoto T; Miyazaki Y
author count
- 8
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 133
end page
- 142