Patrick, Allan, 		Coelho, Igor, E 		Lopes, Bruno.
" Automatic program verification in Dynamic Logic with applications to smart contracts" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (18 julho 2021)