Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

Gary T Leavens; Joseph Kiniry; Erik Poll

doi:10.1007/978-3-540-73368-3

Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

Gary T Leavens, Joseph Kiniry, Erik Poll

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Volume	4590
Publisher	Springer Berlin Heidelberg
Publication date	2007
Pages	37
ISBN (Print)	978-3-540-73367-6
ISBN (Electronic)	978-3-540-73368-3
DOIs	https://doi.org/10.1007/978-3-540-73368-3
Publication status	Published - 2007
Externally published	Yes
Event	19th International Conference Computer Aided Verification, CAV 2007 - Berlin, Germany Duration: 3 Jul 2007 → 7 Oct 2007

Conference

Conference	19th International Conference Computer Aided Verification, CAV 2007
Country/Territory	Germany
City	Berlin
Period	03/07/2007 → 07/10/2007

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Access to Document

10.1007/978-3-540-73368-3

Cite this

Leavens, G. T., Kiniry, J., & Poll, E. (2007). Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. In Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings (Vol. 4590, pp. 37). Springer Berlin Heidelberg. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-540-73368-3

@inproceedings{1ce5a43c34c1468dad1c091b53f2dbd0,

title = "Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java",

author = "Leavens, {Gary T} and Joseph Kiniry and Erik Poll",

year = "2007",

doi = "10.1007/978-3-540-73368-3",

language = "English",

isbn = "978-3-540-73367-6",

volume = "4590",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "37",

booktitle = "Computer Aided Verification",

note = "19th International Conference Computer Aided Verification, CAV 2007 ; Conference date: 03-07-2007 Through 07-10-2007",

}

Leavens, GT, Kiniry, J & Poll, E 2007, Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. in Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. vol. 4590, Springer Berlin Heidelberg, Lecture Notes in Computer Science, pp. 37, 19th International Conference Computer Aided Verification, CAV 2007, Berlin, Germany, 03/07/2007. https://doi.org/10.1007/978-3-540-73368-3

Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. / Leavens, Gary T; Kiniry, Joseph; Poll, Erik.

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Vol. 4590 Springer Berlin Heidelberg, 2007. p. 37 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

AU - Leavens, Gary T

AU - Kiniry, Joseph

AU - Poll, Erik

PY - 2007

Y1 - 2007

U2 - 10.1007/978-3-540-73368-3

DO - 10.1007/978-3-540-73368-3

M3 - Article in proceedings

SN - 978-3-540-73367-6

VL - 4590

T3 - Lecture Notes in Computer Science

SP - 37

BT - Computer Aided Verification

PB - Springer Berlin Heidelberg

T2 - 19th International Conference Computer Aided Verification, CAV 2007

Y2 - 3 July 2007 through 7 October 2007

ER -

Leavens GT, Kiniry J, Poll E. Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. In Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Vol. 4590. Springer Berlin Heidelberg. 2007. p. 37. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-73368-3