Wolfgang Reif. Correctness of Full First-Order Specifications. In SEKE 92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. pages 276-283, Knowledge Systems Institute, 1992. [doi]
No references recorded for this publication.
No citations of this publication recorded.