Open source tools for software engineering teams using AI

← Bibliography

The Z notation: a reference manual

J. Michael Spiveybook1992Source: z-spec

View original ↗

Note

The definitive Z reference, by fuzz's creator.

Citation Key

spivey1992zrm