APA citiranje

(2004). Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith.

Chicago Style (17th ed.) Citation

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / Edited by Eerke A. Boiten, John Derrick, Graeme Smith. 2004.

MLA citiranje

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / Edited by Eerke A. Boiten, John Derrick, Graeme Smith. 2004.