Program Correctness: Can One Test For It?

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

Abstract

Research Areas