Normal view
MARC view
De Boer, Frank S. ...[et al.] Editor (Personal Name)
Machine generated authority record.
Work cat.: (OSt)168465: Formal methods for components and objects : 8th international symposium, FMCO, Eindhoven, The Netherlands, Nov. 4-6, 2009 (e-book), 2010