New top story on Hacker News: An Axiomatic Basis for Computer Programming (1969) [pdf]

An Axiomatic Basis for Computer Programming (1969) [pdf]
7 by tjalfi | 0 comments on Hacker News.