Strengthening properties using abstraction refinement

Article CLOSED
Mitra Purandare ; Thomas Wahl ; Daniel Kroening (2009)
Share - Bookmark