@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}
}
Specifying linked data structures in JML for combining formal verification and testing
| 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)