%0 Conference Paper %1 conf/emsoft/GodefroidLM08 %A Godefroid, Patrice %A Levin, Michael Y. %A Molnar, David A. %B EMSOFT %D 2008 %E de Alfaro, Luca %E Palsberg, Jens %I ACM %K dblp %P 207-216 %T Active property checking. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2008.html#GodefroidLM08 %@ 978-1-60558-468-3

@inproceedings{conf/emsoft/GodefroidLM08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Godefroid, Patrice and Levin, Michael Y. and Molnar, David A.}, biburl = {https://www.bibsonomy.org/bibtex/261961c6324f786de7e4314f8714e068e/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2008}, editor = {de Alfaro, Luca and Palsberg, Jens}, ee = {https://doi.org/10.1145/1450058.1450087}, interhash = {102adf8ec6196cd3f2d0bbc1e692c03e}, intrahash = {61961c6324f786de7e4314f8714e068e}, isbn = {978-1-60558-468-3}, keywords = {dblp}, pages = {207-216}, publisher = {ACM}, timestamp = {2018-11-07T16:41:53.000+0100}, title = {Active property checking.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2008.html#GodefroidLM08}, year = 2008 }