Designing programs that check their work

Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89 ◽

10.1145/73007.73015 ◽

1989 ◽

Cited By ~ 152

Author(s):

M. Blum ◽

S. Kanna

Download Full-text