APA (7th ed.) Citation

(2006). B 2007: formal specification and development in B: 7th International Conference of B Users, Besancon, France, January 17-19, 2007 ; proceedings. Springer. https://doi.org/10.1007/11955757

Chicago Style (17th ed.) Citation

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 17-19, 2007 ; Proceedings. Berlin [u.a.]: Springer, 2006. https://doi.org/10.1007/11955757.

MLA (9th ed.) Citation

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 17-19, 2007 ; Proceedings. Springer, 2006. https://doi.org/10.1007/11955757.