Z User Group Websites
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.
Not Applicable
$
8.95
FMnet - Formal Methods Wiki
FMnet provides access to online formal methods resources, including the Virtual Library formal methods pages.
Not Applicable
$
8.95
