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