Search results for: J Strother Moore
Lecture Notes in Computer Science > Correct System Design > Automation > 139-162
Lecture Notes in Computer Science > Computer Aided Verification > Microprocessor Verification, Cache Coherence > 411-422
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 163-178
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Formal Techniques > 268-276
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 362-376
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 313-328
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > System and Program Verification, Model Checking and Theorem Proving > 141-175
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Theorem Proving > 289-303
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 161-172
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Invited Talks > 9-27