Formal methods: foundations and applications. 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23--25, 2016. Proceedings
scientific article; zbMATH DE number 6652627