Return to Article Details Using Formal Specification to Validate a Human Resource Information System Download Download PDF