Programmes par gmfe.sf.net

Le Cadre général de modélisation d’Eclipse (GMF/E) est un cadre utilisable par les ingénieurs linguistiques et généralement toute personne qui souhaite développer de nouvelles méthodes de vérification formelles et les tester