APA (7th ed.) Citation

International Symposium of Formal Methods Europe Berlin, Germany, SpringerLink (Online service), Oliveira, J. N., & Zave, P. (2001). FME 2001: Formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Berlin, Germany, SpringerLink (Online service), José N. Oliveira, and Pamela Zave. FME 2001: Formal Methods for Increasing Software Productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : Proceedings. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

International Symposium of Formal Methods Europe Berlin, Germany, et al. FME 2001: Formal Methods for Increasing Software Productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : Proceedings. Springer, 2001.