@inproceedings{AhrendtHerberHuismanUlbeich2022,
author = {Wolfgang Ahrendt and Paula Herber and Marieke Huisman and Mattias Ulbrich},
title = {SpecifyThis - Bridging Gaps Between Program Specification Paradigms},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles (ISoLA) 2022},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {3--6},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_1},
doi = {10.1007/978-3-031-19849-6\_1}
}
SpecifyThis - Bridging Gaps Between Program Specification Paradigms
| Autor(en): | Wolfgang Ahrendt, Paula Herber, Marieke Huisman und Mattias Ulbrich |
|---|---|
| In: | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA) 2022 |
| Verleger: | Springer |
| Reihe: | Lecture Notes in Computer Science |
| Band: | 13701 |
| Jahr: | 2022 |
| Seiten: | 3-6 |
| URL: | https://doi.org/10.1007/978-3-031-19849-6_1 |
| DOI: | 10.1007/978-3-031-19849-6_1 |
| Links: | The final publication is available at Springer. |