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