1.
|
Taking advantages of ontology and contexts to determine similarity of data Buccella, Agustina - Cechich, Alejandra - Rodríguez Brisaboa, Nieves
|
2.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
3.
|
Program slicing based on sentence executability Cavadini, Salvador V. - Cheda, Diego A.
|