Articles matching “Yovine”

  1. 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