Ferreira, M., & 		Lopes, B.
(2022).
Integrating tools to reason about Reo circuits.
In <em>Anais do III Workshop Brasileiro de Lógica</em>, (pp. 17-24). Porto Alegre: SBC.
doi:10.5753/wbl.2022.222914