1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Ontologies for the semantic web Vallés, María Clara - Fillottrani, Pablo Rubén
|
3.
|
Formalising sharing mechanisms in object-oriented paradigm Argarañaz, Verónica - Baum, Gabriel Alfredo - Pons, Claudia - Presso, María José - Prieto, Máximo - Romero, Natalia
|