Formal Methods for Industrial Critical Systems

MLA

Cofer, Darren, et al. Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2009.

APA

Cofer, D., Fantechi, A., Kanade, T., & Kittler, J. (2009). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago

Cofer, Darren, Alessandro Fantechi, Takeo Kanade, and Josef Kittler. Formal Methods for Industrial Critical Systems. : Springer Berlin Heidelberg, 2009.