Lucía Cavatorta

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
A toolsuite for the verification of real-time systems in Eclipse. ETX (2006)