Erika Nyari, Harry M. Sneed. SOFSPEC: A Pragmatic Approach to Automated Specification Verification. In Carl G. Davis, Sushil Jajodia, Peter A. Ng, Raymond T. Yeh, editors, Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER 83). pages 651-660, North-Holland, 1983. [doi]
Abstract is missing.