Formal Methods for Industrial Critical Systems

MLA

Hutchison, David, et al. Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Pinger, R., & Stoelinga, M. (2012). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Ralf Pinger, and Mariëlle Stoelinga. Formal Methods for Industrial Critical Systems. : Springer Berlin Heidelberg, 2012.