%0 Conference Paper %1 conf/vstte/BallHLQV10 %A Ball, Thomas %A Hackett, Brian %A Lahiri, Shuvendu K. %A Qadeer, Shaz %A Vanegue, Julien %B VSTTE %D 2010 %E Leavens, Gary T. %E O'Hearn, Peter W. %E Rajamani, Sriram K. %I Springer %K dblp %P 1-24 %T Towards Scalable Modular Checking of User-Defined Properties. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2010.html#BallHLQV10 %V 6217 %@ 978-3-642-15056-2

@inproceedings{conf/vstte/BallHLQV10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Ball, Thomas and Hackett, Brian and Lahiri, Shuvendu K. and Qadeer, Shaz and Vanegue, Julien}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21764bb45876ffcb38eac0fb3ea85e09c/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2010}, editor = {Leavens, Gary T. and O'Hearn, Peter W. and Rajamani, Sriram K.}, ee = {https://doi.org/10.1007/978-3-642-15057-9_1}, interhash = {ec376ce1e0a5ff1a37c865db8298bebe}, intrahash = {1764bb45876ffcb38eac0fb3ea85e09c}, isbn = {978-3-642-15056-2}, keywords = {dblp}, pages = {1-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:41:01.000+0200}, title = {Towards Scalable Modular Checking of User-Defined Properties.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2010.html#BallHLQV10}, volume = 6217, year = 2010 }