Browsing tag: animating formal specifications  

Community Z Tools 1.5.0

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

Jul 16th 2009, 19:58 GMT