On Behavioural Interfaces and Contracts for Software Adaptation

Authors

Conference

3rd workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09) 2009