Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amy P. Felty
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs