Title: On proving the correctness of computer programs
First published: 1967
Subjects: Algorithms, Computer programming
LC classification: LE3 T525 MSC 1967 P65