Download: PDF.

“JML Reference Manual” by G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. Cok, P. Müller, J. Kiniry, P. Chalin, D. M. Zimmerman, and W. Dietl. June 2008. Available from


Work on the Universe type system chapter (see

Download: PDF.

BibTeX entry:

   author = {G. T. Leavens and E. Poll and C. Clifton and Y. Cheon and C.
        Ruby and D. Cok and P. M{"u}ller and J. Kiniry and P. Chalin and
        D. M. Zimmerman and W. Dietl},
   title = {{JML Reference Manual}},
   month = jun,

Back to the publications by date or by topic.

(This webpage was created with bibtex2web.)