%0 Conference Paper %1 conf/nfm/LahiriQ11 %A Lahiri, Shuvendu K. %A Qadeer, Shaz %B NASA Formal Methods %D 2011 %E Bobaru, Mihaela Gheorghiu %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 237-251 %T Call Invariants. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#LahiriQ11 %V 6617 %@ 978-3-642-20397-8

@inproceedings{conf/nfm/LahiriQ11, added-at = {2017-05-25T00:00:00.000+0200}, author = {Lahiri, Shuvendu K. and Qadeer, Shaz}, biburl = {https://www.bibsonomy.org/bibtex/2272c16cba73e7d724ffa33b830505430/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2011}, editor = {Bobaru, Mihaela Gheorghiu and Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-642-20398-5_18}, interhash = {b81b72721c5ac6198b08b6b8ec15b2f7}, intrahash = {272c16cba73e7d724ffa33b830505430}, isbn = {978-3-642-20397-8}, keywords = {dblp}, pages = {237-251}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:10:40.000+0200}, title = {Call Invariants.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#LahiriQ11}, volume = 6617, year = 2011 }