B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings - International B Conference 2007 : Besancon, France); Julliand, Jacques; Kouchnarenko, Olga.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: B method (Computer science) -- Congresses; Debugging in computer science -- Congresses; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering