Sciweavers

LPAR
2010
Springer

Lazy Abstraction for Size-Change Termination

13 years 10 months ago
Lazy Abstraction for Size-Change Termination
traction for Size-Change Termination
Michael Codish, Carsten Fuhs, Jürgen Giesl, P
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where LPAR
Authors Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp
Comments (0)