International Symposium 2006) Amsterdam FMCO (5
Formal Methods for Components and Objects [electronic resource] Proceedings
by Frank S Boer and et al
- Berlin Springer 2007
http://dx.doi.org/10.1007/978-3-540-74792-5
9783540747925
004.0151 / (e-book)