APA (7th ed.) Citation

(2000). Integrated formal methods: Second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1 - 3, 2000 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1 - 3, 2000 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2000.

MLA (9th ed.) Citation

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