Phillip Crews, Laura Marie Leventhal. Interactive microprogram validation: A Prime 400 testbed facility. In Thomas Wesselkamper, Gearold Johnson, Richard A. Belgard, Mary Flinn, editors, Proceedings of the 12th annual workshop on Microprogramming, MICRO 1979, Hershey, Pennslylvania, USA, November 18-21, 1979. pages 61-67, ACM, 1979. [doi]
Abstract is missing.