Bakri, Siti Halimah and Harun, Hanis and Alzoubi, Amera and Ibrahim, Rosziati (2013) The formal specification for the inventory system using Z language. In: 4th International Conference on Computing and Informatics (ICOCI 2013), 28 -30 August 2013, Kuching, Sarawak, Malaysia.