Refinement Techniques in Software Engineering

MLA

Cavalcanti, Ana, et al. Refinement Techniques In Software Engineering. Springer Berlin Heidelberg, 2006.

APA

Cavalcanti, A., Kanade, T., Sampaio, A., & Woodcock, J. (2006). Refinement Techniques in Software Engineering. Springer Berlin Heidelberg.

Chicago

Cavalcanti, Ana, Takeo Kanade, Augusto Sampaio, and Jim Woodcock. Refinement Techniques In Software Engineering. : Springer Berlin Heidelberg, 2006.