Nada Habli

According to our database, Nada Habli authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs.

Nada Habli, Amy P. Felty

Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013