Formal Methods for Industrial Critical Systems

MLA

Dierkes, Michael; Pecheur, Charles, and Charles Pecheur. Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2013.

APA

Dierkes, C., & Pecheur, C. (2013). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago

Dierkes, Michael; Pecheur, Charles, and Charles Pecheur. Formal Methods for Industrial Critical Systems. : Springer Berlin Heidelberg, 2013.