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. Uni. Res. J. SS [Internet]. 2018Sep.17 [cited 2024May6];50(3). Available from: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/986