"ZB 2003: Formal Specification and Development in Z and B, Third ..."

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