Tool Support for Proof Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
A formally verified proof of the prime number theorem
ACM Transactions on Computational Logic (TOCL)
Theorem Proving for Verification (Invited Tutorial)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Logic-Free Reasoning in Isabelle/Isar
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
On Correctness of Mathematical Texts from a Logical and Practical Point of View
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Verification across intellectual property boundaries
CAV'07 Proceedings of the 19th international conference on Computer aided verification
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
A note on a formal approach to rough operators
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Evidence algorithm and system for automated deduction: a retrospective view
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Saoithín: a theorem prover for UTP
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Licensing the Mizar mathematical library
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Isabelle as document-oriented proof assistant
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Hi-index | 0.00 |