Formal Methods in Software and Systems Modeling

MLA

Hutchison, David, et al. Formal Methods In Software and Systems Modeling. Springer Berlin / Heidelberg, 2005.

APA

Hutchison, D., Ehrig, H., Kanade, T., Kreowski, H., Montanari, U., Orejas, F., Rozenberg, G., & Taentzer, G. (2005). Formal Methods in Software and Systems Modeling. Springer Berlin / Heidelberg.

Chicago

Hutchison, David, Hartmut Ehrig, Takeo Kanade, Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, and Gabriele Taentzer. Formal Methods In Software and Systems Modeling. : Springer Berlin / Heidelberg, 2005.