Behavioural Specifications from Class Models
A. Cavarra and J. Welch
Details
| 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 |
Links
DOI (10.1007/978-3-540-73210-5_7)
Related pages
|
People |