{"page":"157 - 173","date_created":"2018-12-11T12:08:27Z","title":"Field Constraint Analysis","_id":"4359","date_updated":"2021-01-12T07:56:23Z","day":"01","quality_controlled":0,"status":"public","publist_id":"1097","year":"2006","extern":1,"publisher":"Springer","doi":"1551","conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation"},"type":"conference","month":"01","date_published":"2006-01-01T00:00:00Z","alternative_title":["LNCS 3855"],"publication_status":"published","citation":{"apa":"Wies, T., Kuncak, V., Lam, P., Podelski, A., &#38; Rinard, M. (2006). Field Constraint Analysis (pp. 157–173). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. <a href=\"https://doi.org/1551\">https://doi.org/1551</a>","mla":"Wies, Thomas, et al. <i>Field Constraint Analysis</i>. Springer, 2006, pp. 157–73, doi:<a href=\"https://doi.org/1551\">1551</a>.","ista":"Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field Constraint Analysis. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 3855, , 157–173.","ieee":"T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field Constraint Analysis,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2006, pp. 157–173.","short":"T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.","ama":"Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field Constraint Analysis. In: Springer; 2006:157-173. doi:<a href=\"https://doi.org/1551\">1551</a>","chicago":"Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis,” 157–73. Springer, 2006. <a href=\"https://doi.org/1551\">https://doi.org/1551</a>."},"author":[{"last_name":"Wies","first_name":"Thomas","full_name":"Thomas Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Viktor","last_name":"Kuncak","full_name":"Kuncak, Viktor"},{"full_name":"Lam,Patrick","first_name":"Patrick","last_name":"Lam"},{"first_name":"Andreas","last_name":"Podelski","full_name":"Podelski,Andreas"},{"first_name":"Martin","last_name":"Rinard","full_name":"Rinard,Martin"}]}