Programas por guml.sf.net

Lenguaje de programación y herramientas que permiten: fácil generación de código para Java, C, C++,..; verificar la corrección del código y las propiedades formales. El objetivo es permitir la máxima reutilización de los comp