Search results for: Roger Duke
Lecture Notes in Computer Science > Integrated Formal Methods > Model Checkers and Theorem Provers > 165-184
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 244-261
Computer Standards & Interfaces > 1995 > 17 > 5-6 > 511-533