Formal Methods for Industrial Critical Systems

MLA

Alpuente, María, et al. Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2009.

APA

Alpuente, M., Cook, B., Joubert, C., & Kanade, T. (2009). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago

Alpuente, María, Byron Cook, Christophe Joubert, and Takeo Kanade. Formal Methods for Industrial Critical Systems. : Springer Berlin Heidelberg, 2009.