blogdomoreira.com.br
CIn-UFPE sedia XX Simpósio Brasileiro de Métodos Formais
A partir da próxima segunda-feira (27) até o dia 1º de dezembro, o Centro de Informática (CIn) da UFPE será sede do XX Simpósio Brasileiro de Métodos Formais (SBMF), principal simpósio brasileiro dedicado ao estudo e a aplicação de métodos formais no desenvolvimento de sistemas de software. Nos dois primeiros dias