Sciweavers

TACAS
2009
Springer

Symbolic String Verification: Combining String Analysis and Size Analysis

14 years 5 months ago
Symbolic String Verification: Combining String Analysis and Size Analysis
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where TACAS
Authors Fang Yu, Tevfik Bultan, Oscar H. Ibarra
Comments (0)