Nov, 2015
Verification of Object-Oriented Programs via Refinement Types (Poster presentation)
The 13th Asian Symposium on Programming Languages and Systems (APLAS 2015)
- ,
- Language
- English
- Presentation type
- Poster presentation