Formal Methods for Industrial Critical Systems

MLA

Larsen, and Tim Willemse. Formal Methods for Industrial Critical Systems. Springer International Publishing, 2019.

APA

Larsen, L., & Willemse, T. (2019). Formal Methods for Industrial Critical Systems. Springer International Publishing.

Chicago

Larsen, and Tim Willemse. Formal Methods for Industrial Critical Systems. : Springer International Publishing, 2019.