JULLIAND, Jacques und KOUCHNARENKO, Olga (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540687610.
Elsevier - Harvard (with titles)Julliand, J., Kouchnarenko, O. (Hrsg.), 2006. B 2007: Formal Specification and Development in B : 7 th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/11955757
American Psychological Association 7th editionJulliand, J., … Kouchnarenko, O. (Hrsg.). (ca. 2006). B 2007: Formal Specification and Development in B : 7 th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11955757
Springer - Basic (author-date)Julliand J, Kouchnarenko O (Hrsg.) (2006) B 2007: Formal Specification and Development in B : 7 th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Julliand, Jacques/ Kouchnarenko, Olga (Hrsg.), B 2007: Formal Specification and Development in B : 7 th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Programming and Software Engineering 2006, .