@misc{indiciae778d0fe4cdf8,
  title = {Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code},
  author = {Jesper Amilon and Merlijn Sevenhuijsen and Mattias Nyberg and Karl Palmskog},
  year = {2026},
  url = {https://arxiv.org/abs/2605.21532},
  note = {Source identifier: 2605.21532}
}