Jacques Julliand, Olga Kouchnarenko

B 2007: Formal Specification and Development in B - Germany Springer 2006

978-3-540-68761-0


B 2007: Formal Specification and Development in B
Computer Science