Formal Specifications for Automated Face Recognition System Using Z Notations: Motivation towards Formal Methods . Sindh. Uni. Res. J. SS 2018, 50 (3). https://doi.org/10.26692/surj.v50i3.986.