| Title | Type Annotations specification (JSR 308) |
| Publication Type | Miscellaneous |
| Year of Publication | 2013 |
| Authors | Ernst MD |
| Date or Month Published | October |
| Downloads | https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal |
| Citation Key | JSR308-2013-10 |
