Online Z-notations Editor with Draft.js and React.js
-
Updated
Nov 19, 2024 - CSS
Online Z-notations Editor with Draft.js and React.js
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.
Add a description, image, and links to the z-notations topic page so that developers can more easily learn about it.
To associate your repository with the z-notations topic, visit your repo's landing page and select "manage topics."