%0 Conference Paper %1 conf/kbse/IvancicBGSMTIM11 %A Ivancic, Franjo %A Balakrishnan, Gogul %A Gupta, Aarti %A Sankaranarayanan, Sriram %A Maeda, Naoto %A Tokuoka, Hiroki %A Imoto, Takashi %A Miyazaki, Yoshiaki %B ASE %D 2011 %E Alexander, Perry %E Pasareanu, Corina S. %E Hosking, John G. %I IEEE Computer Society %K dblp %P 133-142 %T DC2: A framework for scalable, scope-bounded software verification. %U http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#IvancicBGSMTIM11 %@ 978-1-4577-1638-6

@inproceedings{conf/kbse/IvancicBGSMTIM11, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ivancic, Franjo and Balakrishnan, Gogul and Gupta, Aarti and Sankaranarayanan, Sriram and Maeda, Naoto and Tokuoka, Hiroki and Imoto, Takashi and Miyazaki, Yoshiaki}, biburl = {https://www.bibsonomy.org/bibtex/209611442a1b6f6817feaaa8ca372e5ab/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2011}, editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100046}, interhash = {b746bc04fb1e9917dda06fa21cdaa2bd}, intrahash = {09611442a1b6f6817feaaa8ca372e5ab}, isbn = {978-1-4577-1638-6}, keywords = {dblp}, pages = {133-142}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:50:43.000+0200}, title = {DC2: A framework for scalable, scope-bounded software verification.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#IvancicBGSMTIM11}, year = 2011 }