Hello,..
On my academic studies i had been told about the use of Z notation when designing and writing big projects .
my question is :
Is it hapens in real life programming ?
do you even used Z in programming if yes where and for what (finding logical problems , making the code be better etc ... ).