APA (7th ed.) Citation

International Conference on Integrated Formal Methods Dagstuhl Castle, Germany, SpringerLink (Online service), Grieskamp, W., Santen, T., & Stoddart, B. (2000). Integrated formal methods: Second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference on Integrated Formal Methods Dagstuhl Castle, Germany, SpringerLink (Online service), Wolfgang Grieskamp, Thomas Santen, and Bill Stoddart. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings. Berlin ; New York: Springer, 2000.

MLA (9th ed.) Citation

International Conference on Integrated Formal Methods Dagstuhl Castle, Germany, et al. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings. Springer, 2000.