SpringerLink (Online service), van de Pol, J. C., Smith, G. P., & Romijn, J. M. Integrated formal methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings.
Cytowanie według stylu Chicago (wyd. 17)SpringerLink (Online service), Jaco C. van de Pol, Graeme P. Smith, i Judi M.T Romijn. Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings.
Cytowanie według stylu MLA (wyd. 8)SpringerLink (Online service), et al. Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..