Title: IFM '99
First published: 1999
Subjects: Formal methods (Computer science), Congresses
LC classification: QA76.9.F67 I58 1999