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)