ASDE: Design of a Transformational Environment for LOTOS.
Gonzalo Len, Carlos Delgado Kloos, Gustavo-Adolfo Ramrez-Gonzlez, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, Jos Manuel Navarro
Browse the full FORTE paper archive.
Gonzalo Len, Carlos Delgado Kloos, Gustavo-Adolfo Ramrez-Gonzlez, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, Jos Manuel Navarro
Browse the full FORTE paper archive.