Resource Bound Certification (2000)

by Karl Crary , Stephanie Weirich
Citations:129 - 9 self