Programy według czt.sf.net

Projekt Narzędzi Społeczności Z (CZT):Narzędzia do edycji, kontroli tekstu i animowania Zspecyfikacji technicznych i powiązanych notacji.Zawiera platformę Java do tworzenia narzędzi metod formalnych.