Verification of Combinational Logic in Nuprl (0)

by David A Basin, Peter Del Vecchio
Venue:Hardware Specification, Verification and Synthesis: Mathematical Aspects. Springer-Verlag LNCS 408