Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The 5 Colour Theorem in Isabelle/Isar;Lecture Notes in Computer Science;2002
2. Representing Object Code;Computational Logic — CL 2000;2000
3. Formalization of planar graphs;Higher Order Logic Theorem Proving and Its Applications;1995
4. On the refinement of symmetric memory protocols;Higher Order Logic Theorem Proving and Its Applications;1995
5. Testing and Proving Distributed Algorithms in Constructive Type Theory;Tests and Proofs