Skip to main content

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle

C. A. R. Hoare

Month
mar
Note
LaTeXed manuscript
Year
1999