Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings /

Corporate Authors: Brazilian Symposium on Formal Methods Brasilia, Brazil); SpringerLink (Online service)
Group Author: Iyoda, Juliano; Moura, Leonardo de
Published: Springer,
Publication Dates: [2013]