Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid. A methodology for testing concurrent Ada programs. In Elmer F. Godwin, Miguel A. Carrio Jr., Teledyne Brown, editors, Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, WADAS 1987, Arlington, Virginia, USA, 1987. pages 459-464, George Washington University, 1987. [doi]
Abstract is missing.