- http://eisop.uwaterloo.ca/live/
- https://github.com/glts/safer-spring-petclinic/wiki
- https://github.com/typetools/checker-framework/
- https://rawgit.com/typetools/checker-framework/master/docs/developer/developer-manual.html
- https://github.com/typetools/annotation-tools/
- https://github.com/typetools/checker-framework/issues
- https://groups.google.com/forum/#!forum/checker-framework-discuss
- https://groups.google.com/forum/#!forum/checker-framework-discuss/topics
- https://types.cs.washington.edu/list-archives/jsr308/
- https://groups.google.com/forum/#!forum/checker-framework-dev
- https://groups.google.com/forum/#!forum/checker-framework-dev/topics
- https://types.cs.washington.edu/list-archives/checkers/
Nenhum comentário:
Postar um comentário