News for hackers. Stuff that matters.

A comment on An Axiomatic Basis for Computer Programming (1969) [pdf]. Parent comment

Re:An Axiomatic Basis for Computer Programming (1969) [pdf] by rramadass on Thursday April 01, 2021 @12:43AM (#26656751)
https://softwarefoundations.cis.upenn.edu/
[ Parent | on HN ]

There are no comments on this comment yet.