Formal Methods for Industrial Critical Systems

MLA

Leue, Stefan, and Pedro Merino. Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2008.

APA

Leue, S., & Merino, P. (2008). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Chicago

Leue, Stefan, and Pedro Merino. Formal Methods for Industrial Critical Systems. : Springer Berlin Heidelberg, 2008.