Andrea F. Abate, C. D apolito, Giancarlo Nota, Giuliano Pacini. Querying and Analysis of Software Specifications. In SEKE 92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. pages 470-478, Knowledge Systems Institute, 1992. [doi]
Abstract is missing.