Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/oopsla/BerganGC14
%A Bergan, Tom
%A Grossman, Dan
%A Ceze, Luis
%B OOPSLA
%D 2014
%E Black, Andrew P.
%E Millstein, Todd D.
%I ACM
%K dblp
%P 491-506
%T Symbolic execution of multithreaded programs from arbitrary program contexts.
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2014.html#BerganGC14
%@ 978-1-4503-2585-1
@inproceedings{conf/oopsla/BerganGC14,
added-at = {2021-06-24T00:00:00.000+0200},
author = {Bergan, Tom and Grossman, Dan and Ceze, Luis},
biburl = {https://www.bibsonomy.org/bibtex/26da7adeea86922bde04c7b29c622bfce/dblp},
booktitle = {OOPSLA},
crossref = {conf/oopsla/2014},
editor = {Black, Andrew P. and Millstein, Todd D.},
ee = {https://doi.org/10.1145/2714064.2660200},
interhash = {e96bb0da8b1802b5984bafb992b258e1},
intrahash = {6da7adeea86922bde04c7b29c622bfce},
isbn = {978-1-4503-2585-1},
keywords = {dblp},
pages = {491-506},
publisher = {ACM},
timestamp = {2024-04-09T11:44:42.000+0200},
title = {Symbolic execution of multithreaded programs from arbitrary program contexts.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2014.html#BerganGC14},
year = 2014
}