(1)
Maskuri, R.; Mohd. Zin, A. Using Formal Specification to Validate a Human Resource Information System.
MJCS
1999
,
12
, 1-9.