dblp.uni-trier.de www.uni-trier.de

B 2007: Besançon, France

Jacques Julliand, Olga Kouchnarenko (Eds.): B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4355 Springer 2006, ISBN 3-540-68760-2 BibTeX

Invited Talks

Regular Papers

Industrial Papers

Tool Papers

Invited Talk

Copyright © Sat May 16 22:59:18 2009 by Michael Ley (ley@uni-trier.de)