Maskuri R, Mohd. Zin A. Using Formal Specification to Validate a Human Resource Information System. MJCS [Internet]. 1999 Dec. 31 [cited 2024 May 10];12(2):1-9. Available from: https://ejournal.um.edu.my/index.php/MJCS/article/view/5778