| title | Resources |
|---|---|
| nav_order | 7 |
| has_children | false |
| permalink | /resources/ |
| description | Find LiquidJava papers, posters, and source repositories for deeper reading and experimentation. |
- Usability-Oriented Design of Liquid Types for Java, ICSE 2023 digital poster session
- LiquidJava: Adding Lightweight Verification to Java, INForum 2021