{"conference":{"name":"POPL: Principles of Programming Languages"},"date_published":"2010-01-01T00:00:00Z","doi":"10.1145/1707801.1706330","quality_controlled":0,"page":"249 - 260","citation":{"ista":"Podelski A, Wies T. 2010. Counterexample-guided focus. POPL: Principles of Programming Languages, 249–260.","ieee":"A. Podelski and T. Wies, “Counterexample-guided focus,” presented at the POPL: Principles of Programming Languages, 2010, pp. 249–260.","apa":"Podelski, A., & Wies, T. (2010). Counterexample-guided focus (pp. 249–260). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1707801.1706330","ama":"Podelski A, Wies T. Counterexample-guided focus. In: ACM; 2010:249-260. doi:10.1145/1707801.1706330","chicago":"Podelski, Andreas, and Thomas Wies. “Counterexample-Guided Focus,” 249–60. ACM, 2010. https://doi.org/10.1145/1707801.1706330.","mla":"Podelski, Andreas, and Thomas Wies. Counterexample-Guided Focus. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.","short":"A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260."},"day":"01","month":"01","date_created":"2018-12-11T12:08:28Z","date_updated":"2021-01-12T07:56:26Z","author":[{"full_name":"Podelski,Andreas","first_name":"Andreas","last_name":"Podelski"},{"id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies","first_name":"Thomas","full_name":"Thomas Wies"}],"status":"public","publication_status":"published","title":"Counterexample-guided focus","publisher":"ACM","_id":"4364","year":"2010","extern":1,"publist_id":"1093","type":"conference"}