Behavioural Specifications from Class Models.

Alessandra Cavarra, James Welch

Browse the full IFM paper archive.