An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Yovine”
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