Normal view
MARC view
Ontwerpen (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria) 40934, FME '97, industrial applications and strengthened foundations of formal methods :, ©1997.