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