@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
}
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking
| 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 |