“Type Annotations, the Checker Framework, and JML” by W. Dietl. In The Java Modeling Language., (Gary T. Leavens, Peter H. Schmitt, and Jooyong Yi, eds.), May 2013, pp. 12-13. http://www.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2013-3.pdf.

Keywords: Checker Framework, JML

BibTeX entry:

   author = {W. Dietl},
   editor = {Gary T. Leavens and Peter H. Schmitt and Jooyong Yi},
   title = {{Type Annotations, the Checker Framework, and JML}},
   booktitle = {The Java Modeling Language.},
   series = {NII Shonan Meeting Report},
   month = may,
   note =

Back to the publications by date or by topic.

(This webpage was created with bibtex2web.)