The open verifier framework for foundational verifiers Conference Proceeding

Overview

CU Boulder Authors

Chang, Bor-Yuh Evan

publication date

January 10, 2005

has restriction

closed

Date in CU Experts

October 17, 2013 8:36 AM

Full Author List

Chang B-YE; Chlipala A; Necula GC; Schneck RR

author count

4

presented at event

TLDI05: International Workshop on Types in Language Design and Implementation 2005 Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/1040294.1040295

Additional Document Info

start page

1

end page

12