Soares, L., 		Alvim, M., 		Bu, D., 		Fernandes, N., & 		Liao, Y.
2024 dez  4.  Formal Privacy Analyses for Open Banking. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :