Z Notation Websites
FMnet - Formal Methods Wiki
FMnet provides access to online formal methods resources, including the Virtual Library formal methods pages.
$
8.95
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for computer-based systems.
$
8.95
