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}
}