Title: Ifm 99
Subjects: Computer science, Formal methods (Computer science), Congresses