Runtime Validation of Behavioural Contracts for Component Software
2016 ◽
Keyword(s):