APA (7th ed.) Citation

SpringerLink (Online service), Julliand, J., & Kouchnarenko, O. (2006). B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Jacques Julliand, and Olga Kouchnarenko. B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings. Springer Berlin Heidelberg, 2006.