Sciweavers

Share
DATE
2009
IEEE

Strengthening properties using abstraction refinement

9 years 6 months ago
Strengthening properties using abstraction refinement
Mitra Purandare, Thomas Wahl, Daniel Kroening
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DATE
Authors Mitra Purandare, Thomas Wahl, Daniel Kroening
Comments (0)
books