Querying and Analysis of Software Specifications.

Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini

Browse the full SEKE paper archive.