A Formal Specification Approach to Specify Pet's House System Using Z - Notations. - Nibtal Khalid; Irfan Ahmed; Jabar Mahmood; Qasim Ali; Saman Abid; Khadija Batool (ICAIT, 2024)