2009
Intra-module Inference.
[DOI]
Shuvendu K. Lahiri
,
Shaz Qadeer
,
Juan P. Galeotti
,
Jan W. Voung
,
Thomas Wies
Proceedings of the Computer Aided Verification, 21st International Conference, 2009