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/tldi/ChangCNS05
%A Chang, Bor-Yuh Evan
%A Chlipala, Adam
%A Necula, George C.
%A Schneck, Robert R.
%B TLDI
%D 2005
%E Morrisett, J. Gregory
%E Fähndrich, Manuel
%I ACM
%K dblp
%P 1-12
%T The open verifier framework for foundational verifiers.
%U http://dblp.uni-trier.de/db/conf/tldi/tldi2005.html#ChangCNS05
%@ 1-58113-999-3
@inproceedings{conf/tldi/ChangCNS05,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Chang, Bor-Yuh Evan and Chlipala, Adam and Necula, George C. and Schneck, Robert R.},
biburl = {https://www.bibsonomy.org/bibtex/233429915308e569452b67bbacd40206c/dblp},
booktitle = {TLDI},
crossref = {conf/tldi/2005},
editor = {Morrisett, J. Gregory and Fähndrich, Manuel},
ee = {https://doi.org/10.1145/1040294.1040295},
interhash = {9208eba5f94eb5206a594ee715c2ee09},
intrahash = {33429915308e569452b67bbacd40206c},
isbn = {1-58113-999-3},
keywords = {dblp},
pages = {1-12},
publisher = {ACM},
timestamp = {2024-04-10T17:51:02.000+0200},
title = {The open verifier framework for foundational verifiers.},
url = {http://dblp.uni-trier.de/db/conf/tldi/tldi2005.html#ChangCNS05},
year = 2005
}