Search results for: A. K. McIver
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 288-305
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Semantics > 50-64
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 292-310
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Formal Reasoning about Fault Tolerant Systems and Protocols > 1-24
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Papers > 378-386
Reflections on the Work of C.A.R. Hoare > 255-282
Formal Aspects of Computing > 2014 > 26 > 1 > 169-194
Formal Aspects of Computing > 2011 > 23 > 6 > 711-737