David Leeson, Glenn H. MacEwen, David Andrews. Interfacing Ada with verification languages. In Patricia A. Oberndorf, editor, Proceedings of the Second International Symposium on Environments and Tools for Ada, SETA 1994, Washington, D.C., USA, 1994. pages 74-81, ACM, 1994. [doi]
Abstract is missing.