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.

Leave a Reply