Designing Programs That Check Their Work (1989)

by Manuel Blum , Sampath Kannan
Citations:338 - 18 self

Document Versions

Designing Programs That Check Their Work –Manuel Blum, Sampath Kannan — 1989
Designing programs that check their work –Manuel Blum, Sampath Kannan — 1989 — In Proceedings of the 21st ACM ,Syrnposiurn OFZTlzeoiy of Computing
Designing programs that check their work –Manuel Blum, Sampath Kannan — 1995 — Journal of the ACM