TitleType Annotations specification (JSR 308)
Publication TypeMiscellaneous
Year of Publication2013
AuthorsErnst MD
Date or Month PublishedOctober
Downloadshttps://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal
Citation KeyJSR308-webpage-201310