P. Taylor. Formal Methods for a Space Software Development Environment. 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 90-103, Springer, 1994.
Abstract is missing.