Technical communications: Critiquing a critique of Hoare's programming logics. author's response
Gurevich, Yuri, Millard, Mark L.Volume:
26
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/69586.383457
Date:
May, 1983
File:
PDF, 211 KB
english, 1983