B 2007: Formal Specification and Development in B [Risorsa elettronica] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2006
ISBN
9783540687610
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4355