| Title | Annotations on Java types: JSR 308 working document |
| Publication Type | Miscellaneous |
| Year of Publication | 2007 |
| Authors | Ernst MD |
| Date or Month Published | November 12, |
| Downloads | https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal |
| Citation Key | JSR308-2007-11-12 |
