FMnet - Formal Methods Wiki

- fmnet.info

FMnet provides access to online formal methods resources, including the Virtual Library formal methods pages.

CuteStat Rank Not Applicable $ 8.95


applied-math.org

- applied-math.org
CuteStat Rank Not Applicable $ 8.95


Z User Group

- zuser.org

The Z User Group exists to promote use and development of the Z notation, a formal specification language for computer-based systems.

CuteStat Rank Not Applicable $ 8.95