JML Reference Manual
The work
| Title | JML Reference Manual |
|---|---|
| Authors | Gary T. Leavens; Erik Poll; Curtis Clifton; Yoonsik Cheon; Clyde Ruby; David Cok; Peter Müller; Joseph Kiniry; Patrice Chalin; Daniel M. Zimmerman; Werner Dietl |
| Type | other |
| Year | 2013 |
| Citekey | leavens2013jml |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@misc{leavens2013jml,
title = {JML Reference Manual},
author = {Gary T. Leavens and Erik Poll and Curtis Clifton and Yoonsik Cheon and Clyde Ruby and David Cok and Peter Müller and Joseph Kiniry and Patrice Chalin and Daniel M. Zimmerman and Werner Dietl},
year = {2013},
}
This record lives at https://refs.drheap.org/leavens2013jml/ and will keep doing so.