Interactive Specification and Verification of Behavioural Adaptation Contracts

Authors

Journal

Information and Software Technology, Vol. 54, #7, pp. 701-723 2012