F. EJAZ; I. AHMED; N. I. CHAUDHRY; N. J. RAJPER. Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods . Sindh University Research Journal - SURJ (Science Series), [S. l.], v. 50, n. 3, 2018. DOI: 10.26692/surj.v50i3.986. Disponível em: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/986. Acesso em: 21 apr. 2026.