(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.) CitationIntegrated 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 (9th ed.) CitationIntegrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / Edited by Eerke A. Boiten, John Derrick, Graeme Smith. 2004.
Warning: These citations may not always be 100% accurate.