Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings
scientific article; zbMATH DE number 7347093