Designing Programs That Check Their Work (1989)

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