"ZB 2002: Formal Specification and Development in Z and B, 2nd ..."

Didier Bert et al. (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics