Meta data
- BibTeX key
- conf/pldi/KhooCF10
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2010
- pages
- 436-447
- publisher
- ACM
- crossref
- conf/pldi/2010
- ee
- https://doi.org/10.1145/1809028.1806645
- isbn
- 978-1-4503-0019-3
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#KhooCF10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/KhooCF10
%A Khoo, Yit Phang
%A Chang, Bor-Yuh Evan
%A Foster, Jeffrey S.
%B PLDI
%D 2010
%E Zorn, Benjamin G.
%E Aiken, Alex
%I ACM
%K dblp
%P 436-447
%T Mixing type checking and symbolic execution.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#KhooCF10
%@ 978-1-4503-0019-3
@inproceedings{conf/pldi/KhooCF10,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Khoo, Yit Phang and Chang, Bor-Yuh Evan and Foster, Jeffrey S.},
biburl = {https://www.bibsonomy.org/bibtex/2a3dd456b8bc7230d3f65145d9783b0cb/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2010},
editor = {Zorn, Benjamin G. and Aiken, Alex},
ee = {https://doi.org/10.1145/1809028.1806645},
interhash = {75b7a7cfcc5a46d93e17bc2d7c11ed4c},
intrahash = {a3dd456b8bc7230d3f65145d9783b0cb},
isbn = {978-1-4503-0019-3},
keywords = {dblp},
pages = {436-447},
publisher = {ACM},
timestamp = {2024-07-29T07:12:44.000+0200},
title = {Mixing type checking and symbolic execution.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#KhooCF10},
year = 2010
}