Sciweavers

EMSOFT
2009
Springer

Refining the control structure of loops using static analysis

14 years 6 months ago
Refining the control structure of loops using static analysis
Gogul Balakrishnan, Sriram Sankaranarayanan, Franj
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where EMSOFT
Authors Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Comments (0)