[{"extern":1,"dini_type":"doc-type:conferenceObject","date_updated":"2021-01-12T07:56:39Z","citation":{"apa":"Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., & Rinard, M. (2007). Using First-Order Theorem Provers in the Jahob Data Structure Verification System (pp. 74–88). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1552","ieee":"C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, and M. Rinard, “Using First-Order Theorem Provers in the Jahob Data Structure Verification System,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, pp. 74–88.","short":"C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.","mla":"Bouillaguet, Charles, et al. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. Springer, 2007, pp. 74–88, doi:1552.","ista":"Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. 2007. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 4349, , 74–88.","chicago":"Bouillaguet, Charles, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin Rinard. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System,” 74–88. Springer, 2007. https://doi.org/1552."},"publist_id":"1062","author":[{"first_name":"Charles","last_name":"Bouillaguet"},{"last_name":"Kuncak","first_name":"Viktor"},{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies"},{"first_name":"Karen","last_name":"Zee"},{"last_name":"Rinard","first_name":"Martin"}],"_id":"4394","status":"public","conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation"},"type":"conference","dc":{"creator":["Bouillaguet,Charles","Kuncak, Viktor","Thomas Wies","Zee,Karen","Rinard,Martin C."],"rights":["info:eu-repo/semantics/closedAccess"],"title":["Using First-Order Theorem Provers in the Jahob Data Structure Verification System","LNCS 4349"],"source":["Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In: Springer; 2007:74-88. doi:1552"],"relation":["info:eu-repo/semantics/altIdentifier/doi/1552"],"identifier":["https://research-explorer.ista.ac.at/record/4394"],"date":["2007"],"publisher":["Springer"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"]},"day":"01","publication_status":"published","date_created":"2018-12-11T12:08:37Z","date_published":"2007-01-01T00:00:00Z","page":"74 - 88","uri_base":"https://research-explorer.ista.ac.at","month":"01","quality_controlled":0,"alternative_title":[]}]