Counterexample-guided focus

A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
Author
Podelski,Andreas; Wies, ThomasIST Austria
Publishing Year
Date Published
2010-01-01
Page
249 - 260
Conference
POPL: Principles of Programming Languages
IST-REx-ID

Cite this

Podelski A, Wies T. Counterexample-guided focus. In: ACM; 2010:249-260. doi:10.1145/1707801.1706330
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
Podelski, Andreas, and Thomas Wies. “Counterexample-Guided Focus,” 249–60. ACM, 2010. https://doi.org/10.1145/1707801.1706330.
A. Podelski and T. Wies, “Counterexample-guided focus,” presented at the POPL: Principles of Programming Languages, 2010, pp. 249–260.
Podelski A, Wies T. 2010. Counterexample-guided focus. POPL: Principles of Programming Languages, 249–260.
Podelski, Andreas, and Thomas Wies. Counterexample-Guided Focus. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar