1
Formal Methods: Foundations and Applications [E-Book] : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings /
2
Advances in Bioinformatics and Computational Biology [E-Book] : 9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014, Proceedings /