Skip to main content

Linking Theories in Computing Science

C. A. R. Hoare

Month
September 7
Note
LaTeXed manuscript
Year
1997