{"extern":1,"publist_id":"1062","publisher":"Springer","doi":"1552","conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation"},"publication_status":"published","citation":{"apa":"Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., &#38; 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. <a href=\"https://doi.org/1552\">https://doi.org/1552</a>","short":"C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.","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.","mla":"Bouillaguet, Charles, et al. <i>Using First-Order Theorem Provers in the Jahob Data Structure Verification System</i>. Springer, 2007, pp. 74–88, doi:<a href=\"https://doi.org/1552\">1552</a>.","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. <a href=\"https://doi.org/1552\">https://doi.org/1552</a>.","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.","ama":"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:<a href=\"https://doi.org/1552\">1552</a>"},"day":"01","year":"2007","type":"conference","status":"public","author":[{"first_name":"Charles","full_name":"Bouillaguet,Charles","last_name":"Bouillaguet"},{"first_name":"Viktor","full_name":"Kuncak, Viktor","last_name":"Kuncak"},{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies","full_name":"Thomas Wies"},{"first_name":"Karen","last_name":"Zee","full_name":"Zee,Karen"},{"last_name":"Rinard","full_name":"Rinard,Martin C.","first_name":"Martin"}],"date_published":"2007-01-01T00:00:00Z","quality_controlled":0,"_id":"4394","title":"Using First-Order Theorem Provers in the Jahob Data Structure Verification System","month":"01","date_updated":"2021-01-12T07:56:39Z","page":"74 - 88","date_created":"2018-12-11T12:08:37Z","alternative_title":["LNCS 4349"]}