DMCA

Efficient code certification (1998)

by Dexter Kozen
Citations:37 - 2 self