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
A. Cavarra and J. Welch