Semi-automatic specification of behavioural service adaptation contracts
- Cámara, J.
- Martín, J.A.
- Salaün, G.
- Canal, C.
- Pimentel, E.
ISSN: 1571-0661
Any de publicació: 2010
Volum: 264
Número: 1
Pàgines: 19-34
Tipus: Aportació congrés
ISSN: 1571-0661
Any de publicació: 2010
Volum: 264
Número: 1
Pàgines: 19-34
Tipus: Aportació congrés