Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

MLA

ter Beek, and Dejan Ničković. Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2–3, 2020, Proceedings. Springer International Publishing, 2020.

APA

ter Beek, t. Beek, & Ničković, D. (2020). Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings. Springer International Publishing.

Chicago

ter Beek, and Dejan Ničković. Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings. : Springer International Publishing, 2020.