Book Chapter
A Generic Framework for Context-Sensitive Analysis of Modular Programs
G PUEBLA, M HERMENEGILDO, MG DE LA BANDA, F BUENO, K MARRIOTT, PJ STUCKEY, M BRUYNOOGHE, KK LAU
Program Development in Computational Logic | Springer Verlag | Published : 2004
