Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings
scientific article; zbMATH DE number 6087379