@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
| Author(s): | Wolfgang Ahrendt, Paula Herber, Marieke Huisman, and Mattias Ulbrich |
|---|---|
| In: | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA) 2022 |
| Publisher: | Springer |
| Series: | Lecture Notes in Computer Science |
| Volume: | 13701 |
| Year: | 2022 |
| Pages: | 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. |