APA (7e ed.) Bronvermelding

(2004). Integrated formal methods: 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings / Eerke A. Boiten, John Derrick, Graeme Smith, (eds.).

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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