Programas por gmfe.sf.net

El Marco General de Modelado para Eclipse (GMF/E) es un marco utilizable por los ingenieros de lenguaje y, en general, cualquier persona que desee desarrollar nuevos métodos formales de verificación, y probarlos utilizando el