-
1Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings /... Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings /...by Hutter, Dieter. editor., Stephan, Werner. editor., Traverso, Paolo. editor., Ullmann, Markus. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS -
2Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings /... Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings /...by Hutter, Dieter. editor., Stephan, Werner. editor., Traverso, Paolo. editor., Ullmann, Markus. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS