Patrick, A., 		Coelho, I., & 		Lopes, B.
2021 Jul 18.  Automatic program verification in Dynamic Logic with applications to smart contracts. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :