TY  - RPRT
TI  - Context-aware Trace Contracts
AU  - Reiner Hähnle
AU  - Eduard Kamburjan
AU  - Marco Scaletta
PY  - 2023
UR  - https://arxiv.org/abs/2310.04384
ID  - 2310.04384
ER  -