Bibliographic Details
| Title: |
X-by-Construction: Unifying Functional Correctness and Non-Functional Guarantees |
| Authors: |
Kodetzki, Maximilian |
| Source: |
2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW) ISSREW Software Reliability Engineering Workshops (ISSREW), 2025 IEEE 36th International Symposium on. :99-102 Oct, 2025 |
| Relation: |
2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW) |
| Database: |
IEEE Xplore Digital Library |