Sep, 2015
Predicate Refinement Heuristics in Program Verification with CEGAR
NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages
- Language
- English
- Presentation type
- Oral presentation (invited, special)