A comunidade z Tools é um conjunto de ferramentas projetadas para ajudá-lo a editar, o tipo de especificação formal e animar escrito na linguagem de especificação Z, com algum suporte para extensões Z, como objeto-Z, circo e TCOZ.
softwaresea.com fornece o mais recente centro de download de software verde gratuito em casa e no exterior, incluindo software de computador, aplicativo da apple, aplicativo Android e outros downloads de software móvel gratuito para computador. Se você quiser saber mais sobre o software livre verde, baixe-o em softwaresea.com!