Intra-module Inference

S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 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, ThomasIST Austria
Series Title
LNCS 5643
Publishing Year
Date Published
2009-01-01
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.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar