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