A. Patrick, I. Coelho, and B. Lopes.
"Automatic program verification in Dynamic Logic with applications to smart contracts", in <em>Anais do II Workshop Brasileiro de Lógica</em>, Evento Online, 2021, pp. 1-8, doi: <a href="https://doi.org/10.5753/wbl.2021.15772">https://doi.org/10.5753/wbl.2021.15772</a>.