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