TY  - BOOK
AU  - de Boer,Frank S.
AU  - Bonsangue,Marcello M.
AU  - Hallerstede,Stefan
AU  - Leuschel,Michael
TI  - Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers
SN  - 9783642170706
AV  - QA76.9.F67 
U1  - 005.131 21
PY  - 2011///
CY  - New York : 
PB  - Springer
N1  - License restrictions may limit access; Scholarly & Professional; Springer
N2  - Annotation; This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009
UR  - http://www.columbia.edu/cgi-bin/cul/resolve?clio8568511
ER  -