Allan Patrick, Igor Coelho, and Bruno Lopes. 2021. Automatic program verification in Dynamic Logic with applications to smart contracts. In Anais do II Workshop Brasileiro de Lógica, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 1-8. DOI: https://doi.org/10.5753/wbl.2021.15772.