Space-Reduction Strategies for Model Checking Dynamic Software (2003)

Cached

Download Links

by Robby , Matthew B. Dwyer , John Hatcliff , Radu Iosif
Citations:21 - 5 self