Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

MLA

Groote, Jan Friso, and Marieke Huisman. Formal Methods for Industrial Critical Systems : 27th International Conference, Fmics 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Groote, J. Friso, & Huisman, M. (2022). Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Groote, Jan Friso., and Marieke Huisman. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.