Media type: E-Book Title: Formal Specification with JML Contributor: Huisman, Marieke [Other]; Ahrendt, Wolfgang [Other]; Grahl, Daniel [Other]; Hentschel, Martin [Other] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2014,10 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 45-51 Access State: Open Access