Applied formal methods - FM trends 98 : proceedings - Hutter, Dieter (Herausgeber); International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard) (Lecture notes in computer science, 1999)