Alex Delis, William M. Thomas. Design Assessment of Ada Systems Using Static Analysis. In Dimitris Christodoulakis, editor, Ada: The Choice for 92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings. Volume 499 of Lecture Notes in Computer Science, pages 227-250, Springer, 1991.
Abstract is missing.