From Formal Requirements to Formal Design.

Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo

Browse the full SEKE paper archive.