ROMIJN, Judi M.T, SMITH, Graeme P und VAN DE POL, Jaco C (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540322405.
Elsevier - Harvard (with titles)Romijn, J.M., Smith, G.P., van de Pol, J.C. (Hrsg.), 2005. Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Programming and Software Engineering. https://doi.org/10.1007/11589976
American Psychological Association 7th editionRomijn, J. M., Smith, G. P., … van de Pol, J. C. (Hrsg.). (ca. 2005). Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/11589976
Springer - Basic (author-date)Romijn JM, Smith GP, van de Pol JC (Hrsg.) (2005) Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Romijn, Judi M.T/ Smith, Graeme P/ van de Pol, Jaco C (Hrsg.), Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings, Programming and Software Engineering 2005, .