author : Paolo Ciaccia

Short works

• A Course on Formal Methods in Software Engineering: Matching Requirements with Design. 1995. (In ZUM '95 )
• A Formal approach to software design: the Clepsydra methodology. 1995. (In ZUM '95 )