Charles Antony Richard Hoare profile picture

Charles Antony Richard Hoare

IEEE-Oxford Encyclopedia of Electrical Engineering and Computer Science: Electronic/WWW Version
The IEEE-Oxford Encyclopedia of Electrical Engineering and Computer Science
Communicating Sequential Processes Exercises and Answers
Software and Systems Safety Specification and Verification
Data Refinement in a Categorical Setting