In-place Refinement for Effect Checking (2003)

by Viktor Kuncak , K. Rustan M. Leino
Venue:IN SECOND INTERNATIONAL WORKSHOP ON AUTOMATED VERIFICATION OF INFINITE-STATE SYSTEMS (AVIS’03
Citations:9 - 4 self