Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings - Hutter, Dieter; Hutter, Dieter; Stephan, Werner; Stephan, Werner; Traverso, Paolo; Traverso, Paolo; Ullmann, Markus; Ullmann, Markus (Springer Berlin Heidelberg : Imprint: Springer, 1999)