Nada Habli

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Hybrid Approaches

Theorem Proving

Top Venues

Publications

Nada Habli, Amy P. Felty
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs. PxTP@CADE (2013)