APA (7th ed.) Citation

(2004). Integrated formal methods: 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; Proceedings. Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan u.a: Springer, 2004.

MLA (9th ed.) Citation

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; Proceedings. Springer, 2004.