More reasons why higher-order logic is a good formalism for specifying and verifying hardware

Bibliographische Detailangaben

1. Verfasser:	Joyce, Jeffrey J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Vancouver, B.C. Dep. of Computer Science, Univ. 1990
Schriftenreihe:	Technical report / Department of Computer Science, University of British Columbia 90,35
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!