Patrick, A., 		Coelho, I., & 		Lopes, B.
(2021).
Automatic program verification in Dynamic Logic with applications to smart contracts.
In <em>Anais do II Workshop Brasileiro de Lógica</em>, (pp. 1-8). Porto Alegre: SBC.
doi:10.5753/wbl.2021.15772