Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

MLA

Cimatti, Alessandro, and Laura Titolo. Formal Methods for Industrial Critical Systems : 28th International Conference, Fmics 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

Cimatti, A., & Titolo, L. (2023). Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Cham: Springer International Publishing AG.

Chicago

Cimatti, Alessandro., and Laura Titolo. Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.