TY  - RPRT
TI  - Traits for Correct-by-Construction Programming
AU  - Tobias Runge
AU  - Alex Potanin
AU  - Thomas Thüm
AU  - Ina Schaefer
PY  - 2022
UR  - https://arxiv.org/abs/2204.05644
ID  - 2204.05644
ER  -