Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
Verifiable partial specifications for logic programming
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military
IEEE Annals of the History of Computing
CL '00 Proceedings of the First International Conference on Computational Logic
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Science of Computer Programming
Hi-index | 0.00 |