Formal Methods for Industrial Critical Systems

MLA

Kowalewski, Stefan, et al. Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2010.

APA

Kowalewski, S., Kanade, T., Roveri, M., & Kittler, J. (2010). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago

Kowalewski, Stefan, Takeo Kanade, Marco Roveri, and Josef Kittler. Formal Methods for Industrial Critical Systems. : Springer Berlin Heidelberg, 2010.