MPG.eBooks - Author Search Results

Cover Image

1

Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Julliand, Jacques...”

Cover Image

2

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Julliand, Jacques...”