Formal Methods for Industrial Critical Systems

MLA

Salaün, Gwen, Takeo Kanade, and Bernhard Schätz. Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2011.

APA

Salaün, G., Kanade, T., & Schätz, B. (2011). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago

Salaün, Gwen, Takeo Kanade, and Bernhard Schätz. Formal Methods for Industrial Critical Systems. : Springer Berlin Heidelberg, 2011.