Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Gladisch und Shmuel Tyszberowicz
In:Brazilian Symposium on Formal Methods (SBMF 2013)
Verleger:Springer
Reihe:LNCS
Band:8195
Jahr:2013
DOI:10.1007/978-3-642-41071-0_8

BibTeX

@InProceedings{gladischTyszberowicz2013,
  author    = {Christoph Gladisch and Shmuel Tyszberowicz},
  title     = {Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking},
  booktitle = {Brazilian Symposium on Formal Methods (SBMF 2013)},
  editor    = {Leonardo de Moura and Juliano Iyoda},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {8195},
  year      = {2013},
  doi       = {10.1007/978-3-642-41071-0_8},
  month     = oct
}