Author:
Lapets Andrei,Kfoury Assaf
Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. Abel, A., B. Chang and F. Pfenning, Human-readable machine-verifiable proofs for teaching constructive logic, in: U. Egly, A. Fiedler, H. Horacek and S. Schmitt, editors, PTP ʼ01: IJCAR Workshop on Proof Transformations, Proof Presentations and Complexity of Proofs, Siena, Italy, 2001.
2. User interaction with the matita proof assistant;Asperti;J. Autom. Reason.,2007
3. Bestavros, A., A. Kfoury, A. Lapets and M. Ocean, Safe Compositional Network Sketches: The Formal Framework, in: HSCC ʼ10: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control (in conjunction with CPSWEEK), Stockholm, Sweden, 2010, pp. 231–241.
4. Brown, C. E., Verifying and Invalidating Textbook Proofs using Scunak, in: MKM ʼ06: Mathematical Knowledge Management, Wokingham, England, 2006, pp. 110–123.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献