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