@InProceedings{PfeiferDietlUlbrich26,
author="Wolfram Pfeifer and Werner Dietl and Mattias Ulbrich",
title="A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures",
booktitle="International Symposium on Formal Methods. Proceedings",
year="2026",
note="To appear."
}
A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures
| Autor(en): | Wolfram Pfeifer, Werner Dietl und Mattias Ulbrich |
|---|---|
| In: | International Symposium on Formal Methods. Proceedings |
| Jahr: | 2026 |
| Preprint/PDF: | PfeiferDietlUlbrich26.pdf |
Anmerkung
To appear.