Reference

2005
The Open Verifier Framework for Foundational Verifiers
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, and Robert R. Schneck
TLDI 2005: ACM SIGPLAN International Workshop on Types in Language Design and Implementation

BibTeX

@string{TLDI = "ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI)"}
@inproceedings{ov-tldi05,
  author = {Bor-Yuh Evan Chang and Adam Chlipala and George C. Necula and Robert R. Schneck},
  title = {The Open Verifier Framework for Foundational Verifiers},
  booktitle = TLDI,
  year = {2005},
  pages = {1-12},
  
}