Behavioural Specifications from Class Models

Bibliographic Details
Main Authors: Cavarra, A, Welch, J
Format: Conference item
Published: Springer Berlin / Heidelberg 2007