{"status":"public","extern":1,"page":"493 - 508","year":"2009","publist_id":"1082","quality_controlled":0,"publisher":"Springer","month":"01","author":[{"first_name":"Shuvendu","last_name":"Lahiri","full_name":"Lahiri,Shuvendu K."},{"last_name":"Qadeer","full_name":"Qadeer,Shaz","first_name":"Shaz"},{"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","full_name":"Thomas Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas"}],"date_updated":"2021-01-12T07:56:30Z","doi":"1555","title":"Intra-module Inference","_id":"4375","alternative_title":["LNCS 5643"],"citation":{"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>.","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.","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>","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>."},"conference":{"name":"CAV: Computer Aided Verification"},"type":"conference","date_published":"2009-01-01T00:00:00Z","date_created":"2018-12-11T12:08:32Z","publication_status":"published","day":"01"}