Normal view
MARC view
Madelaine, Eric (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FMCO (Symposium) (7th : 2008 : Sophia Antipolis, France) 35825, Formal methods for components and objects :, ©2009.