Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods . (2018). Sindh University Research Journal - SURJ (Science Series), 50(3). https://doi.org/10.26692/surj.v50i3.986