Patrick, A., 		Coelho, I., & 		Lopes, B.
2021 jul 18.  Automatic program verification in Dynamic Logic with applications to smart contracts. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :