Automated proofs of object code for a widely used microprocessor

Bibliographische Detailangaben

1. Verfasser:	Yu, Yuan (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Palo Alto, California 1993
Schriftenreihe:	Systems Research Center <Palo Alto, Calif.>: SRC research reports 114
Schlagworte:	Automatic theorem proving Machine theory Motorola 68020 (Microprocessor)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!