SpringerLink (Online service), Romijn, J., Smith, G., & Pol, J. v. d. (2005). Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Judi Romijn, Graeme Smith, και Jaco van de Pol. Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Springer Berlin Heidelberg, 2005.
