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