Mariana Ferreira and Bruno Lopes. 2022. Integrating tools to reason about Reo circuits. In Anais do III Workshop Brasileiro de Lógica, julho 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 17-24. DOI: https://doi.org/10.5753/wbl.2022.222914.