C
C.A.R. Hoare
5 works on record
Works

VDM '90 VDM and Z -- Formal Methods in Software Development

Communicating Sequential Processes
Vzaimodejstvujus c ie posledovatel'nye processy
Vzaimodejstvujus c ie posledovatel'nye processy
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
Logic of Programming and Calculi of Discrete Design
Logic of Programming and Calculi of Discrete Design