Peter Del Vecchio

List of publications from the DBLP Bibliography Server - FAQ

1989

1 David A. Basin, Peter Del Vecchio: Verification Of Combinational Logic in Nuprl. Hardware Specification, Verification and Synthesis 1989: 333-357

1989
1		David A. Basin, Peter Del Vecchio: Verification Of Combinational Logic in Nuprl. Hardware Specification, Verification and Synthesis 1989: 333-357

Coauthor Index