Home›Books›Carlo A. FuriaCarlo A. FuriaNo biography available.Works (3)Integrated Formal MethodsObjects, Models, Components, PatternsTests and Proofs