Title: FME '96, industrial benefit and advances in formal methods
Subjects: Development, Congresses, Computer software, Computer software, development