Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor B. Beckert , F. Damiani , F.S. de Boer (Frank) , M.M. Bonsangue (Marcello)
ISBN 978-3-642-35887-6
Persistent URL
Series Lecture Notes in Computer Science
Conference Formal Methods for Components and Objects
Beckert, B, Damiani, F, de Boer, F.S, & Bonsangue, M.M (Eds.). (2013). Formal methods for components and objects : 10th international symposium, FMCO 2011. In B Beckert, F Damiani, F.S de Boer, & M.M Bonsangue (Eds.), Lecture Notes in Computer Science. Springer. doi:10.1007/978-3-642-35887-6