|
1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
|
2.
|
Investigación básica y aplicada en bases de datos deductivas Liberatori, Héctor - Paganini, José Humberto - González, C. - Figueroa, Sebastián Marcos - Tejerina, Mario - Vega, Ariel - Castillo, C. - Battezzati, V.
|
|
3.
|
Triptico de la ingeniería del software Paganini, José Humberto - Figueroa, Sebastián Marcos - Rodríguez, Juan C. - Liberatori, Héctor - Huanca, José Eduardo
|
|
4.
|
Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para sistemas de información geográfica Testa, Oscar - Riesco, Daniel Eduardo - Montejano, Germán Antonio
|
