Formal Methods for Industrial Critical Systems

MLA

Núñez, and Matthias Güdemann. Formal Methods for Industrial Critical Systems. Springer International Publishing, 2015.

APA

Núñez, N., & Güdemann, M. (2015). Formal Methods for Industrial Critical Systems. Springer International Publishing.

Chicago

Núñez, and Matthias Güdemann. Formal Methods for Industrial Critical Systems. : Springer International Publishing, 2015.