APA (7th ed.) Citation

(1999). Applied formal methods - FM trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Applied Formal Methods - FM Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; Proceedings. Berlin u.a: Springer, 1999.

MLA (9th ed.) Citation

Applied Formal Methods - FM Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; Proceedings. Springer, 1999.