Intra-module inference
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module inference. 21st International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 5643, 493–508.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Author
Lahiri, Shuvendu;
Qadeer, Shaz;
Galeotti, Juan;
Voung, Jan;
Wies, ThomasISTA
Series Title
LNCS
Publishing Year
Date Published
2009-01-01
Proceedings Title
21st International Conference on Computer Aided Verification
Publisher
Springer
Volume
5643
Page
493 - 508
Conference
CAV: Computer Aided Verification
Conference Location
Grenoble, France
Conference Date
2009-06-26 – 2009-07-02
IST-REx-ID
Cite this
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module inference. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:493-508. doi:10.1007/978-3-642-02658-4_37
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module inference. In 21st International Conference on Computer Aided Verification (Vol. 5643, pp. 493–508). Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_37
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference.” In 21st International Conference on Computer Aided Verification, 5643:493–508. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_37.
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module inference,” in 21st International Conference on Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 493–508.
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module inference. 21st International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 5643, 493–508.
Lahiri, Shuvendu, et al. “Intra-Module Inference.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 493–508, doi:10.1007/978-3-642-02658-4_37.