Path
Home
News
The Centre
Research Groups
People
Projects
Publications
Tech Reports
Open Positions
Events
How to get to CISUC
Member Access
Interactive Specification and Verification of Behavioural Adaptation Contracts
Authors
Javier Cámara Moreno
Gwen Salaün
Carlos Canal
Meriem Ouederni
Conference
9th International Conference on Quality Software (QSIC 2009) 2009
Cited by
No citations found