Behavioural Specifications from Class Models
A. Cavarra and J. Welch infobook title | Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007) |
pages | 118-137 |
publisher | Springer Berlin / Heidelberg |
series | LNCS |
year | 2007 |
links
BibTeX
DOI (10.1007/978-3-540-73210-5_7)
related pages
|
