ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
International Conference of B and Z Users (2nd 2002 Grenoble, France) Didier Bert
Berlin Springer London c2002
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2272 ) e outros locais(Acessar)