Intra-module Inference
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module Inference. CAV: Computer Aided Verification, LNCS 5643, , 493–508.
Download
No fulltext has been uploaded. References only!
DOI
Conference Paper
| Published
Author
Lahiri,Shuvendu K.;
Qadeer,Shaz;
Galeotti,Juan P.;
Voung,Jan W.;
Wies, ThomasISTA
Series Title
LNCS 5643
Publishing Year
Date Published
2009-01-01
Publisher
Springer
Page
493 - 508
Conference
CAV: Computer Aided Verification
IST-REx-ID
Cite this
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module Inference. In: Springer; 2009:493-508. doi:1555
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module Inference (pp. 493–508). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1555
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,” 493–508. Springer, 2009. https://doi.org/1555.
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module Inference,” presented at the CAV: Computer Aided Verification, 2009, pp. 493–508.
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module Inference. CAV: Computer Aided Verification, LNCS 5643, , 493–508.
Lahiri, Shuvendu, et al. Intra-Module Inference. Springer, 2009, pp. 493–508, doi:1555.
Google Scholar