I was wondering to know if anyone out here even used the "Z notation" in a professional environment. Just curious to know some commonly-known applications of Z or your application.
For those who are not familiar : http://staff.washington.edu/jon/z/z-examples.html
I want to know "In Z notation, how to define a division operation for integer numbers"
The integer division is already part of Z's mathematical toolkit:
(See the Z manual by M. Spivey, chapter 4.4 Numbers and Finiteness)