×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

100
MathJax
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 200-225 (2008).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI