DC2: A framework for scalable, scope-bounded software verification
Conference Proceeding
Overview
publication date
- November 6, 2011
Full Author List
- Ivancic F; Balakrishnan G; Gupta A; Sankaranarayanan S; Maeda N; Tokuoka H; Imoto T; Miyazaki Y
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 9781457716386