Ernesto Cid Brasil de Matos
Orcid: 0000-0003-1571-0550
According to our database1,
Ernesto Cid Brasil de Matos
authored at least 5 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
2015
Proceedings of the Tests and Proofs - 9th International Conference, 2015
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), 2015
2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
2010
Innov. Syst. Softw. Eng., 2010