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)