Designing Programs That Check Their Work (1989)

Cached

Download Links

by Manuel Blum , Sampath Kannan
Citations:302 - 17 self

Document Versions

Designing Programs That Check Their Work –Manuel Blum, Sampath Kannan — 1989
Designing programs that check their work –Manuel Blum, Sampath Kannan — 1995 — Journal of the ACM