B 2007: Formal Specification and Development in B

MLA

Julliand, Jacques, et al. B 2007: Formal Specification and Development In B. Springer Berlin Heidelberg, 2006.

APA

Julliand, J., Kanade, T., Kouchnarenko, O., & Kittler, J. (2006). B 2007: Formal Specification and Development in B. Springer Berlin Heidelberg.

Chicago

Julliand, Jacques, Takeo Kanade, Olga Kouchnarenko, and Josef Kittler. B 2007: Formal Specification and Development In B. : Springer Berlin Heidelberg, 2006.