Circuits as Streams in Coq: Verification of a Sequential Multiplier (1995)

by C Paulin-Mohring
Venue:In: Proc. TYPES