Julliand, J., & Kouchnarenko, O. (2006). B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Springer e-books.
Chicago Style (17th ed.) CitationJulliand, Jacques, and Olga Kouchnarenko. "B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings." Springer E-books 2006.
MLA (8th ed.) CitationJulliand, Jacques, and Olga Kouchnarenko. "B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings." Springer E-books, 2006.
Warning: These citations may not always be 100% accurate.