Informações do evento
XXI Brazilian Symposium on Formal Methods - SBMF2018 (applying for the CEMF grant - affiliated to institutions located in Brazil)
E-mail: adolfo@ufba.br
Site Oficial: http://www.sbc.org.br/sbmf2018
A partir de 26/11/2018 até 30/11/2018