Formal Methods for Model-Driven Engineering

MLA

Hutchison, David, et al. Formal Methods for Model-driven Engineering. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Cortellessa, V., & Pierantonio, A. (2012). Formal Methods for Model-Driven Engineering. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Vittorio Cortellessa, and Alfonso Pierantonio. Formal Methods for Model-Driven Engineering. : Springer Berlin Heidelberg, 2012.