(2004). Integrated formal methods: 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings. Springer. https://doi.org/10.1007/b96106
Chicago-Zitierstil (17. Ausg.)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. https://doi.org/10.1007/b96106.
MLA-Zitierstil (9. Ausg.)Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; Proceedings. Springer, 2004. https://doi.org/10.1007/b96106.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.