Login / Signup
Peter Del Vecchio
Publication Activity (10 Years)
Years Active: 1989-1989
Publications (10 Years): 0
</>
Publications
</>
David A. Basin
,
Peter Del Vecchio
Verification Of Combinational Logic in Nuprl.
Hardware Specification, Verification and Synthesis
(1989)