![](https://www.pdfsearch.io/img/004f11b1d4d752a65d66c70ef1c261b7.jpg) Date: 2015-05-28 13:07:51
| | Cody & Waite Flocq Coq.Interval Gappa Conclusion Formal Proof of Cody & Waite’s Exponential Guillaume Melquiond Inria Saclay–ˆIle-de-France & LRI, Universit´ e Paris Sud, CNRSAdd to Reading ListSource URL: fastrelax.gforge.inria.frDownload Document from Source Website File Size: 312,91 KBShare Document on Facebook
|