TY  - RPRT
TI  - The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
AU  - Eduard Kamburjan
AU  - Nathan Wasser
PY  - 2022
DO  - 10.4204/eptcs.365.1
UR  - https://arxiv.org/abs/2208.04630
ID  - 2208.04630
ER  -