Software engineering and formal methods. 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27--29, 2018. Proceedings
scientific article; zbMATH DE number 6901661