Programmes par zwordtools.sf.net

Outils pour permettre l’écriture des spécifications Z dans Microsoft Word. Inclut une police unicode pour les symboles Z et des fonctionnalités pour l’édition, la vérification des types, la création de diagrammes, l’indexatio