(2006). B 2007: formal specification and development in B: 7th International Conference of B Users, Besancon, France, January 17-19, 2007 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)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.
MLA-Zitierstil (9. Ausg.)B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 17-19, 2007 ; Proceedings. Springer, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.