Browsing tag: Z  

Community Z Tools 1.5.0

Tools for editing, typechecking and animating Z specifications and related notations

Jul 16th 2009, 19:58 GMT

Gnome Crystal 0.6.7

Gnome Crystal is a light model visualizer for crystal structures.

Feb 8th 2006, 16:36 GMT