Building Correct by Construction SOA Design Patterns: Modeling and Refinement.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem

Browse the full ECSA paper archive.