|
1.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
|
2.
|
Implementación en java de un modelo de consistencia temporal para datos de tiempo real Buckle, Carlos - Barry, Damián - Urriza, José M.
|
