The Design of the CADE-13 ATP System Competition
Journal of Automated Reasoning
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
Inhibiting factors, market structure and the industrial uptake of formal methods
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
An unfold/fold transformation framework for definite logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Zeno: an automated prover for properties of recursive data structures
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Reasoning on schemata of formulæ
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
A Framework for the Verification of Certifying Computations
Journal of Automated Reasoning
| Hi-index | 0.00 |