TY  - GEN
AU  - Hidalgo Garrido-Lestache, Lope Javier
AU  - Huidobro Moradillo, Enrique Omar
AU  - Masa González, Juan Antonio
A4  - Peña, Ricardo
PY  - 2009
UR  - https://hdl.handle.net/20.500.14352/54442
AB  - El proyecto desarrollado se trata de una aplicación web que controla principalmente el compilador safe, pudiendo interactuar con otras herramientas como Isabelle, Jasmin…La aplicación gestionará las correspondientes etapas del compilador safe o de las...
LA  - spa
KW  - Compilador
KW  - Safe
KW  - Html
KW  - Php
KW  - Javascript
KW  - Xml
KW  - Xlst
KW  - Css
TI  - wSafe: Entorno de compilación para SAFE en la red
TY  - coursework
ER  -