Articles matching “Garbervetsky”

  1. Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte, A Static Analysis to Detect Re-Entrancy in Object Oriented Programs, pp. 5-23, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  2. Victor Braberman, Diego Garbervetsky, Sergio Yovine, A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption, pp. 31-58, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact