Journal of Automated Reasoning
From I/O Automata to Timed I/O Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
CL '00 Proceedings of the First International Conference on Computational Logic
Journal of Functional Programming
Proving pointer programs in higher-order logic
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Proving pointer programs in higher-order logic
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Automatic proof and disproof in Isabelle/HOL
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
A User-friendly Interface for a Lightweight Verification System
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |