Searching for "What Went Wrong Explaining Counterexamples." – sorted by Relevance.
-
What Went Wrong: Explaining Counterexamples
- What Went Wrong: Explaining Counterexamples Alex Groce 1 and Willem Visser 2 1 Department
- Cited by 58 (9 self) – Add To MetaCart
-
Education
- Groce and Willem Visser. What Went Wrong: Explaining Counterexamples. Technical Report 02-08, RIACS
- Add To MetaCart
-
Experience
- ’Aquila, Italy, October 2003. Alex Groce and Willem Visser. What Went Wrong: Explaining Counterexamples. SPIN
- Add To MetaCart
-
ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
- went wrong: Explaining counterexamples. In T. Ball and S. Rajamani, editors, Proceedings of SPIN 2003
- Cited by 36 (6 self) – Add To MetaCart
-
unknown title
- What Went Wrong: Explaining Counterexamples Alex Groce 1 and Willem Visser 2 1 Department
- Add To MetaCart

