DOA-02:vasco-11

D. Bert, J. P. Bowen, M. C. Henson, K. Robinson. ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of Z and B Users. LNCS 2272, Springer, Grenoble, France, January 2002.

Contact

Didier Bert

BibTex Reference

@Book{DOA-02:vasco-11,
   Author = {Bert, D. and P. Bowen, J. and C. Henson, M. and Robinson, K.},
   Title = {{ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of Z and B Users}},
   Publisher = {LNCS 2272, Springer},
   Address = {Grenoble, France},
   Month = {January},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)