Rafael Castro G. Silva
Orcid: 0000-0002-0723-231X
According to our database1,
Rafael Castro G. Silva
authored at least 4 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024
Proceedings of the Runtime Verification - 24th International Conference, 2024
2020
Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020
2018