Title: FME '94: industrial benefit of formal methods
First published: 1994
Subjects: Formal languages