TITLE     : FME 2003: Formal Methods
AUTHOR(S) : Araki K, Gnesi S, Mandrioli D
TYPE      : Book
YEAR      : 2003
CODE      : 44106

*** DO NOT EDIT THIS FILE ***