{"day":"01","alternative_title":["LNCS 5643"],"type":"conference","date_updated":"2021-01-12T07:56:30Z","date_created":"2018-12-11T12:08:32Z","year":"2009","month":"01","_id":"4375","publisher":"Springer","citation":{"short":"S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.","ista":"Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module Inference. CAV: Computer Aided Verification, LNCS 5643, , 493–508.","mla":"Lahiri, Shuvendu, et al. <i>Intra-Module Inference</i>. Springer, 2009, pp. 493–508, doi:<a href=\"https://doi.org/1555\">1555</a>.","chicago":"Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,” 493–508. Springer, 2009. <a href=\"https://doi.org/1555\">https://doi.org/1555</a>.","ama":"Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module Inference. In: Springer; 2009:493-508. doi:<a href=\"https://doi.org/1555\">1555</a>","apa":"Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., &#38; Wies, T. (2009). Intra-module Inference (pp. 493–508). Presented at the CAV: Computer Aided Verification, Springer. <a href=\"https://doi.org/1555\">https://doi.org/1555</a>","ieee":"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."},"title":"Intra-module Inference","page":"493 - 508","date_published":"2009-01-01T00:00:00Z","doi":"1555","conference":{"name":"CAV: Computer Aided Verification"},"status":"public","publist_id":"1082","extern":1,"author":[{"full_name":"Lahiri,Shuvendu K.","last_name":"Lahiri","first_name":"Shuvendu"},{"first_name":"Shaz","full_name":"Qadeer,Shaz","last_name":"Qadeer"},{"last_name":"Galeotti","full_name":"Galeotti,Juan P.","first_name":"Juan"},{"first_name":"Jan","last_name":"Voung","full_name":"Voung,Jan W."},{"last_name":"Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Wies","first_name":"Thomas"}],"publication_status":"published","quality_controlled":0}