JML Reference Manual
The work
| 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 |
|---|---|
| Editors | |
| Type | misc |
| Year | 2013 |
| Citekey | leavens2013jml |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-08 01:24 UTC |
Filed under
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.