Normal view
MARC view
Boer, Frank S. de (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FMCO (Symposium) (1st : 2002 : Leiden, Netherlands) 17786, Formal methods for components and objects :, 2003.