Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14--18, 2020. Proceedings
scientific article; zbMATH DE number 7294412