Didier Bert, J. P. B. (2002). 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. Springer.
Kopierad till urklipp
Kopiering till urklipp misslyckades
Chicago-referens (17:e uppl.)
Didier Bert, Jonathan P. Bowen. 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. Berlín, Alemania: Springer, 2002.
Kopierad till urklipp
Kopiering till urklipp misslyckades
MLA-referens (9:e uppl.)
Didier Bert, Jonathan P. Bowen. 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. Springer, 2002.
Kopierad till urklipp
Kopiering till urklipp misslyckades
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.