H.: Verification by network decomposition (2004)

by E Clarke, M Talupur, T Touili, Veith
Venue:In: CONCUR