DOA-03:vasco-09

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, June 2003.

Contact

Didier Bert

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)