Dependent Types Ensure Partial Correctness of Theorem Provers (2002)

Cached

Download Links

by Andrew W. Appel , Amy P. Felty
Citations:12 - 0 self