1.
|
Tool support for verifying applications using object-oriented patterns Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
|
2.
|
Fully dynamic and memory-adaptative spatial approximation trees Arroyuelo, Diego - Navarro, Gonzalo - Reyes, Nora Susana
|