An automated proof of microprogram correctness

Bibliographische Detailangaben

1. Verfasser:	Leeman, George B. (VerfasserIn)
Weitere Verfasser:	Joyner, William H. (VerfasserIn), Carter, William C. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Yorktown Heights, New York IBM Thomas J. Watson Research Center 1977
Schriftenreihe:	Research report / IBM Thomas J. Watson Research Center RC 6587 = 28423 Computer science
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!