Sciweavers

Share
EUROCAST
2009
Springer

Effective Bit-Width and Under-Approximation

10 years 9 months ago
Effective Bit-Width and Under-Approximation
Robert Brummayer, Armin Biere
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where EUROCAST
Authors Robert Brummayer, Armin Biere
Comments (0)
books