MISRA, Jayadev, NIPKOW, Tobias und SEKERINSKI, Emil (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540372165.
Elsevier - Harvard (with titles)Misra, J., Nipkow, T., Sekerinski, E. (Hrsg.), 2006. FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/11813040
American Psychological Association 7th editionMisra, J., Nipkow, T., … Sekerinski, E. (Hrsg.). (ca. 2006). FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11813040
Springer - Basic (author-date)Misra J, Nipkow T, Sekerinski E (Hrsg.) (2006) FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Misra, Jayadev/ Nipkow, Tobias/ Sekerinski, Emil (Hrsg.), FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, Programming and Software Engineering 2006, .