Formal methods: foundations and applications. 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21--22, 2015. Proceedings
scientific article; zbMATH DE number 6534980