Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings
scientific article; zbMATH DE number 6983412