Strengthening properties using abstraction refinement

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