Interactive Specification and Verification of Behavioural Adaptation Contracts

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

No citations found