Normal view MARC view

International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany) (Meeting Name)

Number of records used in: 1

Preferred form: International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany)

Machine generated authority record.

Work cat.: (AT-ISTA): International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany), FME 2001 :, 2001.