![]() | ![]() |
2006 | ||
---|---|---|
2 | José Diego De la Cruz, Lam-Son Lê, Alain Wegmann: Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications. ICEIS (3) 2006: 298-303 | |
1 | José Diego De la Cruz, Lam-Son Lê, Alain Wegmann: Validation of Visual Contracts for Services. MSVVEIS 2006: 147-165 |
1 | Lam-Son Lê | [1] [2] |
2 | Alain Wegmann | [1] [2] |