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 proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Volume4590
PublisherSpringer Berlin Heidelberg
Publication date2007
Pages37
ISBN (Print)978-3-540-73367-6
ISBN (Electronic)978-3-540-73368-3
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event19th International Conference Computer Aided Verification, CAV 2007 - Berlin, Germany
Duration: 3 Jul 20077 Oct 2007

Conference

Conference19th International Conference Computer Aided Verification, CAV 2007
Country/TerritoryGermany
CityBerlin
Period03/07/200707/10/2007
SeriesLecture Notes in Computer Science
ISSN0302-9743

Cite this