Sat-based compositional verification using lazy learning (2007)

Cached

Download Links

by Nishant Sinha , Edmund Clarke
Venue:In CAV
Citations:9 - 1 self