M Wirsing, M Hölzl, L Acciai, F Banti, A Clark… - … Applications of Formal …, 2008 - Springer
Abstract The IST-FET Integrated Project Sensoria is developing a novel comprehensive
approach to the engineering of service-oriented software systems where foundational …