Sciweavers

LICS
2006
IEEE

3-Valued Abstraction: More Precision at Less Cost

14 years 6 months ago
3-Valued Abstraction: More Precision at Less Cost
Sharon Shoham, Orna Grumberg
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where LICS
Authors Sharon Shoham, Orna Grumberg
Comments (0)