Cita APA (7th ed.)
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.
Cita Chicago (17th 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. Berlín, Alemania: Springer.
Cita MLA (9th 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.
Atenció: Aquestes cites poden no estar 100% correctes.