{"page":"157 - 173","doi":"1551","author":[{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies","full_name":"Thomas Wies"},{"last_name":"Kuncak","first_name":"Viktor","full_name":"Kuncak, Viktor"},{"last_name":"Lam","first_name":"Patrick","full_name":"Lam,Patrick"},{"full_name":"Podelski,Andreas","first_name":"Andreas","last_name":"Podelski"},{"last_name":"Rinard","first_name":"Martin","full_name":"Rinard,Martin"}],"year":"2006","publist_id":"1097","type":"conference","publisher":"Springer","month":"01","alternative_title":["LNCS 3855"],"conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation"},"status":"public","date_published":"2006-01-01T00:00:00Z","date_updated":"2021-01-12T07:56:23Z","title":"Field Constraint Analysis","quality_controlled":0,"citation":{"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>","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.","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.","short":"T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.","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>.","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>"},"date_created":"2018-12-11T12:08:27Z","_id":"4359","publication_status":"published","day":"01","extern":1}