Estão abertas as submissões de artigos para o Simpósio Brasileiro de Métodos Formais

Guarde estas datas:   – Registro de artigos: 15 julho 2016   – Submissão de artigos: 23 julho 2016   – Notificação de aceitação: 9[…]