Semi-automatic Specification of Behavioural Service Adaptation Contracts

7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10) 2010

No citations found