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
Journal
Information and Software Technology, Vol. 54, #7, pp. 701-723 2012
Cited by
No citations found