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 2018, 50.