1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
2.
|
Notas metodológicas para cubrir la etapa de documentar una investigación Texier, José
|