Retrospective: An Axiomatic Basis for Computer Programming

Comments

from Hacker News https://ift.tt/31uSOSy

Comments