Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

MLA

Lluch Lafuente, Alberto, and Anastasia Mavridou. Formal Methods for Industrial Critical Systems : 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings. Springer International Publishing, 2021.

APA

Lluch Lafuente, A., & Mavridou, A. (2021). Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Springer International Publishing.

Chicago

Lluch Lafuente, Alberto, and Anastasia Mavridou. Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. : Springer International Publishing, 2021.