@inbook{7b991cf1467a45fcaa4172abdb960f38,
title = "Formal specification with the Java modeling language",
abstract = "This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a book about the KeY approach and tool, because JML is the dominating starting point of KeY style Java verification. However, this chapter does not depend on KeY, nor any other specific tool, nor on any specific verification methodology. With this text, the authors aim to provide, for the time being, the definitive, general JML tutorial.",
keywords = "IR-104404, EWI-27666",
author = "Marieke Huisman and Wolfgang Ahrendt and Daniel Grahl and Martin Hentschel",
year = "2016",
month = dec,
doi = "10.1007/978-3-319-49812-6_7",
language = "Undefined",
isbn = "978-3-319-49811-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "193--241",
editor = "Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"a}hnle and Schmitt, {Peter H.} and Mattoas Ulbrich",
booktitle = "Deductive Software Verification – The KeY Book",
address = "Germany",
}