"ZB 2000: Formal Specification and Development in Z and B, First ..."

Jonathan P. Bowen et al. (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics