Designing Programs That Check Their Work

Manuel Blum, Sampath Kannan

Browse the full STOC paper archive.