1 \newcommand{\etalchar}[1]{$^{#1}$} 2 \begin{thebibliography}{DDE{\etalchar{+}}11} 3 4 \bibitem[Che]{CF} 5 {Checker Framework} website. 6 \newblock \url{https://checkerframework.org/}. 7 8 \bibitem[DDE{\etalchar{+}}11]{DietlDEMS2011} 9 Werner Dietl, Stephanie Dietzel, Michael~D. Ernst, K{\i}van{\c{c}} Mu{\c{s}}lu, 10 and Todd Schiller. 11 \newblock Building and using pluggable type-checkers. 12 \newblock In {\em ICSE 2011, Proceedings of the 33rd International Conference 13 on Software Engineering}, pages 681--690, Waikiki, Hawaii, USA, May 2011. 14 15 \bibitem[Ern13]{JSR308-webpage-201310} 16 Michael~D. Ernst. 17 \newblock {Type Annotations} specification ({JSR} 308). 18 \newblock \url{https://checkerframework.org/jsr308/}, October 2013. 19 20 \bibitem[LBR06]{LeavensBR2006:JML} 21 Gary~T. Leavens, Albert~L. Baker, and Clyde Ruby. 22 \newblock Preliminary design of {JML}: A behavioral interface specification 23 language for {Java}. 24 \newblock {\em ACM SIGSOFT Software Engineering Notes}, 31(3), March 2006. 25 26 \end{thebibliography} 27