Designing programs to check their work (abstract)

Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 ◽

10.1145/154183.154185 ◽

1993 ◽

Cited By ~ 1

Author(s):

Manuel Blum

Download Full-text