B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko
OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer New York c2006
Acesso online. A biblioteca também possui exemplares impressos.