1.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
2.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|