Microprogram verification considered necessary

William C. Carter, William H. Joyner Jr., Daniel Brand. Microprogram verification considered necessary. In Sakti P. Ghosh, editor, American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA. Volume 47 of AFIPS Conference Proceedings, pages 657-664, AFIPS Press, 1978.

Abstract

Abstract is missing.