Author:
Domínguez César,Rubio Julio
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. A mechanized proof of the basic perturbation lemma;Aransay;Journal of Automated Reasoning,2008
2. Generating certified code from formal proofs: a case study in homological algebra;Aransay;Formal Aspects of Computing,2010
3. Modelling differential structures in proof assistants: the graded case;Aransay,2009
4. Interactive theorem proving and program development;Bertot,2004
5. On the correctness of upper layers of automotive systems;Botaschanjan;Formal Aspects of Computing,2008
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献