This report summarizes the initial activities related to WP2, and particularly to Tasks T.2.2 “Models for behavioural APIs” and T.2.7 “Inferring behavioural descriptions for b-APIs”.
This is a public deliverable, and can be found here.
This report summarizes the initial activities related to WP2, and particularly to Tasks T.2.2 “Models for behavioural APIs” and T.2.7 “Inferring behavioural descriptions for b-APIs”.
This is a public deliverable, and can be found here.