F. EJAZ, I. AHMED, N. I. CHAUDHRY and N. J. RAJPER 2018. Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods . Sindh University Research Journal - SURJ (Science Series). 50, 3 (Sep. 2018). DOI:https://doi.org/10.26692/surj.v50i3.986.