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]
No references recorded for this publication.
No citations of this publication recorded.