{"date_updated":"2021-01-12T07:56:26Z","doi":"10.1145/1707801.1706330","author":[{"full_name":"Podelski,Andreas","first_name":"Andreas","last_name":"Podelski"},{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Wies","last_name":"Wies"}],"date_created":"2018-12-11T12:08:28Z","conference":{"name":"POPL: Principles of Programming Languages"},"quality_controlled":0,"type":"conference","status":"public","_id":"4364","year":"2010","title":"Counterexample-guided focus","date_published":"2010-01-01T00:00:00Z","month":"01","extern":1,"citation":{"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>.","short":"A. Podelski, T. Wies, in:, ACM, 2010, pp. 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>.","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>","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.","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>"},"publication_status":"published","publist_id":"1093","publisher":"ACM","page":"249 - 260","day":"01"}