%0 Journal Article %1 journals/ase/IvancicBGSMIPH15 %A Ivancic, Franjo %A Balakrishnan, Gogul %A Gupta, Aarti %A Sankaranarayanan, Sriram %A Maeda, Naoto %A Imoto, Takashi %A Pothengil, Rakesh %A Hussain, Mustafa %D 2015 %J Autom. Softw. Eng. %K dblp %N 4 %P 517-559 %T Scalable and scope-bounded software verification in Varvel. %U http://dblp.uni-trier.de/db/journals/ase/ase22.html#IvancicBGSMIPH15 %V 22

@article{journals/ase/IvancicBGSMIPH15, 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 Imoto, Takashi and Pothengil, Rakesh and Hussain, Mustafa}, biburl = {https://www.bibsonomy.org/bibtex/2d7a2979cd354c21bb7886e7b9526ab1f/dblp}, ee = {https://doi.org/10.1007/s10515-014-0164-0}, interhash = {1198d584fa5244a740f284b52e8a4792}, intrahash = {d7a2979cd354c21bb7886e7b9526ab1f}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 4, pages = {517-559}, timestamp = {2024-04-08T16:47:40.000+0200}, title = {Scalable and scope-bounded software verification in Varvel.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase22.html#IvancicBGSMIPH15}, volume = 22, year = 2015 }