(2006). B 2007: Formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings / Jacques Julliand, Olga Kouchnarenko (eds.).
Citazione stile Chigago Style (17a edizione)B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : Proceedings / Jacques Julliand, Olga Kouchnarenko (eds.). 2006.
Citatione MLA (9a ed.)B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : Proceedings / Jacques Julliand, Olga Kouchnarenko (eds.). 2006.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.