Patrick, Allan, Igor Machado Coelho, and Bruno Lopes.
"Automatic program verification in Dynamic Logic with applications to smart contracts." <em>Anais do II Workshop Brasileiro de Lógica,
Evento Online, 2021</em>. SBC, 2021,  
pp.1-8.