Normal view
MARC view
Zave, Pamela, 1948- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany) 15694, FME 2001 :, 2001.