%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 }