1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Mapeando modelos conceituais dimensionais OO para modelos lógicos dimensionais relacionais Carvalho, Rogerio Atem de - Tanaka, Asterio K. - Colonese, Giovanni
|