APA (7th ed.) Citation

International B Conference Besançon, France, 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. https://doi.org/10.1007/11955757

Chicago Style (17th ed.) Citation

International B Conference Besançon, France, 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 ; New York: Springer, 2006. https://doi.org/10.1007/11955757.

MLA (9th ed.) Citation

International B Conference Besançon, France, 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, 2006. https://doi.org/10.1007/11955757.