Engineering Formal Requirements: Analysis and Testing.

Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo

Browse the full SEKE paper archive.