Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Dongol, Brijesh Heftet / 2020 / Engelsk
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings Dongol, Brijesh Heftet / 2019 / Engelsk
