Skip to main content

Behavioural Specifications from Class Models

A. Cavarra and J. Welch

Book Title
Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007)
Pages
118−137
Publisher
Springer Berlin / Heidelberg
Series
LNCS
Year
2007