Keyword:Hybrid

Papers
Comparison of Various Sunk Cost Methods of Transmission Pricing Heramb Mayadeo, Anjali Dharme and Abhijit Abhyankar EasyChair Preprint no. 335
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs Nada Habli and Amy Felty In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving