Don't have Telegram yet? Try it now!
https://blogdomoreira.com.br/cin-ufpe-sedia-xx-simposio-brasileiro-de-metodos-formais/
CIn-UFPE sedia XX Simpósio Brasileiro de Métodos Formais