Formal methods: foundations and applications. 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 -- October 4, 2013. Proceedings
scientific article; zbMATH DE number 6203751