@inproceedings{mod-ctchecks-lpar06,
author = {P.~Pietrzak and J.~Correas and G.~Puebla and M.~Hermenegildo},
title = {{C}ontext-{S}ensitive {M}ultivariant {A}ssertion {C}hecking in {M}odular {P}rograms},
booktitle = {13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06)},
month = {November},
npages = 15,
pages = {392--406},
publisher = {Springer-Verlag},
series = {LNCS},
number = {4246},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}