B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings

Saved in:
Bibliographic Details
Main Authors Julliand, Jacques, Kouchnarenko, Olga, International Conference of B and Z Users
Format Book
LanguageEnglish
Published Berlin Springer 2006
Online AccessGet full text

Cover

More Information
ISBN:3540687602
9783540687603