Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98

@booklet{pub1576,
    author = {

Hutter, Dieter
 and 

Stephan, Werner
 and 

Traverso, Paolo
 and 

Ullmann, Markus
},
    title = {Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98},
    year = {1999}
}