Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Interactive Specification and Verification of Behavioural Adaptation Contracts. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. pages 65-75, IEEE Computer Society, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.