Sep, 2011
Relatively Complete Refinement Types from Counterexamples
NII Shonan Meeting Seminar 005: Automated Techniques for Higher-Order Program Verification
- Language
- English
- Presentation type
- Oral presentation (invited, special)