A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson. Tool Support for High Integrity Ada Software. In Marcel Toussaint, editor, Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Volume 887 of Lecture Notes in Computer Science, pages 63-75, Springer, 1994.
Abstract is missing.