![]() |
Formal Methods in Architecture 2018Hoje apresentei um artigo, escrito com o Ricardo Mendes Correia e a Alexandra Paio, no 4º Simpósio Internacional Formal Methods in… |
![]() |
Formal Methods in Architecture 2018Hoje apresentei um artigo, escrito com o Ricardo Mendes Correia e a Alexandra Paio, no 4º Simpósio Internacional Formal Methods in… |