Designing Programs That Check Their Work (1989)
by
Manuel Blum
,
Sampath Kannan
,
Comp Sci
,
Comp Sci
| Citations: | 280 - 17 self |
Document Versions
| Designing Programs That Check Their Work –Manuel Blum, Sampath Kannan, Comp Sci, Comp Sci — 1989 |
| Designing programs that check their work –Manuel Blum, Sampath Kannan — 1995 — Journal of the ACM |

