%0 Conference Paper %1 conf/oopsla/RaychevVS13 %A Raychev, Veselin %A Vechev, Martin T. %A Sridharan, Manu %B OOPSLA %D 2013 %E Hosking, Antony L. %E Eugster, Patrick Th. %E Lopes, Cristina V. %I ACM %K dblp %P 151-166 %T Effective race detection for event-driven programs. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#RaychevVS13 %@ 978-1-4503-2374-1

@inproceedings{conf/oopsla/RaychevVS13, added-at = {2021-06-24T00:00:00.000+0200}, author = {Raychev, Veselin and Vechev, Martin T. and Sridharan, Manu}, biburl = {https://www.bibsonomy.org/bibtex/220c68c1966d9db459a3b4b36dce1e2e1/dblp}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2013}, editor = {Hosking, Antony L. and Eugster, Patrick Th. and Lopes, Cristina V.}, ee = {https://doi.org/10.1145/2544173.2509538}, interhash = {ecc4a3aee5a7ff4253c2d12a2ed01f3e}, intrahash = {20c68c1966d9db459a3b4b36dce1e2e1}, isbn = {978-1-4503-2374-1}, keywords = {dblp}, pages = {151-166}, publisher = {ACM}, timestamp = {2024-04-09T11:44:51.000+0200}, title = {Effective race detection for event-driven programs.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#RaychevVS13}, year = 2013 }