There are 0 repository under z-notations topic.
Z-EVES for linux. Probably the only place you can find it
Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.