Citazione Stile APA (7a Edizione)
Dieter Hutter, W. S. Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Springer.
Citazione stile Chigago Style (17a edizione)
Dieter Hutter, Werner Stephan. Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Dieter Hutter, Werner Stephan. Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.