Title: FME '96, industrial benefit and advances in formal methods
First published: 1996
Subjects: Development, Congresses, Computer software
LC classification: QA76.76.D47 I593 1996