“Book Information Formal Specification and Documentation using Z: A Case Study Approach By Prof...Formal Specification and Documentation using Z
“Z Word Tools is a SourceForge↑ project providing tools to allow Z specifications to be written...Z Word Tools
“Z/EVES is a proof tool based on EVES and ZF set theory that supports the Z notation. Originally...Z/EVES
“The ABZ conference covers Abstract State Machines, the B-Method, and the Z notation. The first...ABZ
This category has the following 2 subcategories, out of 2 total.
Pages in category "Z notation"
The following 18 pages are in this category, out of 18 total.