D dl.acm.org Retrospective: An Axiomatic Basis for Computer Programming 48 points todsacerdoti 5 years ago 6 comments
