Sciweavers

RTA
2004
Springer

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

13 years 9 months ago
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation
Toshinori Takai
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where RTA
Authors Toshinori Takai
Comments (0)