Formal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings Lluch Lafuente Alberto Heftet / 2021 / Engelsk
NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings Lee, Ritchie Heftet / 2020 / Engelsk
