Integrated formal methods. 14th international conference, IFM 2018, Maynooth, Ireland, September 5--7, 2018. Proceedings
scientific article; zbMATH DE number 6946289