Carlo A. Furia

• Integrated Formal Methods
• Objects, Models, Components, Patterns
• Tests and Proofs