Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden. ZB 2003: Formal Specification and Development in Z and B, 3rd International Conference of Z and B Users. LNCS 2651, Springer, Turku, Finland, Juin 2003.
@Book{DOA-03:vasco-09,
Author = {Bert, Didier and P. Bowen, Jonathan and King, Steve and Walden, Marina},
Title = {{ZB 2003: Formal Specification and Development in Z and B, 3rd International Conference of Z and B Users}},
Publisher = {LNCS 2651, Springer},
Address = {Turku, Finland},
Month = {June},
Year = {2003}
}
Charger la référence EndNote (.ref)