PROGRAMME VON czt.sf.net

Community Z Tools Project (CZT):Werkzeuge zum Bearbeiten, Typcheckingen und Animieren von ZSpezifikationen und zugehörigen Notationen.Enthält ein Java-Framework zum Erstellen formaler Methodentools.