Normal view
MARC view
(2nd : 1994 oct. 24-28 ) (Nombre de reunión)
Machine generated authority record
Work cat.: ()847727: (2nd : 1994 oct. 24-28 ), FME ’94, industrial benefit of formal methods :, c1994