[{"author":[{"last_name":"Wies","first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kuncak","first_name":"Viktor"},{"last_name":"Lam","first_name":"Patrick"},{"first_name":"Andreas","last_name":"Podelski"},{"last_name":"Rinard","first_name":"Martin"}],"publist_id":"1097","date_updated":"2021-01-12T07:56:23Z","dini_type":"doc-type:conferenceObject","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.","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.","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"},"extern":1,"type":"conference","conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation"},"status":"public","_id":"4359","page":"157 - 173","uri_base":"https://research-explorer.ista.ac.at","date_published":"2006-01-01T00:00:00Z","date_created":"2018-12-11T12:08:27Z","publication_status":"published","day":"01","dc":{"date":["2006"],"publisher":["Springer"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"source":["Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field Constraint Analysis. In: Springer; 2006:157-173. doi:1551"],"relation":["info:eu-repo/semantics/altIdentifier/doi/1551"],"identifier":["https://research-explorer.ista.ac.at/record/4359"],"title":["Field Constraint Analysis","LNCS 3855"],"creator":["Thomas Wies","Kuncak, Viktor","Lam,Patrick","Podelski,Andreas","Rinard,Martin"],"rights":["info:eu-repo/semantics/closedAccess"]},"alternative_title":[],"quality_controlled":0,"month":"01"}]