APA (7th ed.) Citation

Hutter, D., Stephan, W., Traverso, P., & Ullmann, M. (1999). Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Hutter, Dieter, Werner Stephan, Paolo Traverso, and Markus Ullmann. Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.

MLA (9th ed.) Citation

Hutter, Dieter, et al. Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings. Springer Berlin Heidelberg, 1999.