TY  - RPRT
TI  - Towards Trace-based Deductive Verification (Tech Report)
AU  - Richard Bubel
AU  - Dilian Gurov
AU  - Reiner Hähnle
AU  - Marco Scaletta
PY  - 2022
UR  - https://arxiv.org/abs/2211.09487
ID  - 2211.09487
ER  -