Title: Proving programs incorrect
First published: 1976
Subjects: Compiling (Electronic computers)