VĂctor A. Braberman, Diego Garbervetsky, Sergio Yovine. A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. Journal of Object Technology, 5(5):31-58, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.