CISUC

Interactive Specification and Verification of Behavioural Adaptation Contracts

Authors



Conference

9th International Conference on Quality Software (QSIC 2009) 2009


Cited by

No citations found