Designing Programs That Check Their Work (1989)

Cached

Download Links

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