Designing Programs That Check Their Work (1989)

Cached

Download Links

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