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