1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Triptico de la ingeniería del software Paganini, José Humberto - Figueroa, Sebastián Marcos - Rodríguez, Juan C. - Liberatori, Héctor - Huanca, José Eduardo
|