Return to Article Details Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods Download Download PDF