![](https://www.pdfsearch.io/img/69aca97e4d02af022b54b72552d44eb0.jpg) Date: 2014-09-03 04:27:29
| | Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for excAdd to Reading ListSource URL: people.rennes.inria.frDownload Document from Source Website File Size: 482,37 KBShare Document on Facebook
|