Author:
Boldo Sylvie,Lelay Catherine,Melquiond Guillaume
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;S. Boldo,2009
2. Lecture Notes in Computer Science;S. Boldo,2010
3. Boldo, S., Clément, F., Filliâtre, J.C., Mayero, M., Melquiond, G., Weis, P.: Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program. Journal of Automated Reasoning (accepted for publication on May 20, 2012), http://hal.inria.fr/hal-00649240
4. Butler, R.W.: Formalization of the integral calculus in the PVS theorem prover. Journal of Formalized Reasoning 2(1), 1–26 (2009)
5. Cruz-Filipe, L.: Constructive Real Analysis: a Type-Theoretical Formalization and Applications. Ph.D. thesis, University of Nijmegen (April 2004)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献