ZB 2000: Formal Specification and Development in Z and B

Springer Link; Linguagem: Português

Referência(s)