J
John A. McDermid
5 works on record
Works

Software engineering environments
Software engineer's reference book
Software engineer's reference book
Theory and Practice of Refinement
Theory and Practice of Refinement
Formal Specification and Implementation Using Z
Formal Specification and Implementation Using Z
Error recovery techniques for fault tolerant distributed computer systems
Error recovery techniques for fault tolerant distributed computer systems