AL-REFAI, Hasan; BATIHA, Khaldoun. Enhancing formal specification and verification of e-commerce protocol. Journal of Advanced Computer Science & Technology, [S. l.], v. 6, n. 1, p. 13–19, 2017. DOI: 10.14419/jacst.v6i1.6713. Disponível em: https://sciencepubco.com/index.php/JACST/article/view/6713.. Acesso em: 5 may. 2024.