Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Specifying linked data structures in JML for combining formal verification and testing

Zeitschriftenartikel

Autor(en):Christoph Gladisch und Shmuel Tyszberowicz
Zeitschrift:Science of Computer Programming
Band:107–108
Jahr:2015
Seiten:19-40
DOI:10.1016/j.scico.2015.02.005

Anmerkung

Selected Papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)

BibTeX

@article{Gladisch201519,
  title   = {Specifying linked data structures in \{JML\} for combining formal verification and testing},
  journal = {Science of Computer Programming},
  volume  = {107–108},
  pages   = {19 - 40},
  year    = {2015},
  month   = feb,
  note    = {Selected Papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)},
  doi     = {10.1016/j.scico.2015.02.005},
  author  = {Christoph Gladisch and Shmuel Tyszberowicz}
}