Program Correctness: Can One Test For It?

Manuel Blum
IFIP Congress (1989), pp. 127-134

Abstract