About this scholarly article

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - DC2: A framework for scalable, scope-bounded software verification by Ivancic, Franjo; Balakrishnan, Gogul; Gupta, Aarti; Sankaranarayanan, Sriram; Maeda, Naoto; Tokuoka, Hiroki; Imoto, Takashi; Miyazaki, Yoshiaki is a scholarly article available to read on EtoBox.

Author

Ivancic, Franjo; Balakrishnan, Gogul; Gupta, Aarti; Sankaranarayanan, Sriram; Maeda, Naoto; Tokuoka, Hiroki; Imoto, Takashi; Miyazaki, Yoshiaki

Publisher

IEEE

Published

2011