Title: Applied formal methods--FM-Trends 98
Subjects: Formal methods (Computer science), Congresses, Computers, congresses