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