"B 2007: Formal Specification and Development in B, 7th International ..."

Jacques Julliand, Olga Kouchnarenko (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics