Author:
Kawabata Hideyuki,Tanaka Yuta,Kimura Mai,Hironaka Tetsuo
Publisher
Springer International Publishing
Reference26 articles.
1. The compcert project.
http://compcert.inria.fr
2. Lablgtk2.
http://lablgtk.forge.ocamlcore.org
3. Pcoq: a graphical user-interface for coq.
http://www-sop.inria.fr/lemme/pcoq/
4. The sel4 microkernel.
http://sel4.systems
5. Asperti, A., Coen, C.S., Tassi, E., Zacchiroli, S.: User interaction with the matita proof assistant. J. Autom. Reason. 39(2), 109–139 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献