Mathematical Models for Computing Science
C. A. R. Hoare
Month
aug
Note
LaTeXed notes for Marktoberdorf Summer School
Year
1994
C. A. R. Hoare