Search results for: C. A. R. Hoare
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 1-18
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 1-17
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Talk > 78-78
Lecture Notes in Computer Science > ESOP 86 > 187-196
Lecture Notes in Computer Science > ECOOP’ 99 — Object-Oriented Programming > Invited Paper 1 > 1-18