An overview of JML tools and applications

Thumbnail
Fulltext:
305047.pdf
Size:
205.0Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2003
Author(s)
Burdy, Lilian
Cheon, Yoonsik
Cok, David
Ernst, Michael
Kiniry, J.R.
Leavens, G.T.
Leino, K. Rustan
Poll, E.
Publisher
Springer-Verlag
Source
Electronic Notes in Theoretical Computer Science, 80, (2003), pp. 75-91
ISSN
DOI
Publication type
Article / Letter to editor
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/305047   https://hdl.handle.net/2066/305047
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.