Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

SpecifyThis - Bridging Gaps Between Program Specification Paradigms

Reviewed Paper In Proceedings
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.

BibTeX

@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}
}