TY  - GENERIC
DO  - 10.20944/preprints202305.2228.v1
UR  - http://dx.doi.org/10.20944/preprints202305.2228.v1
TI  - A Practical Type System for Formal Verification CPS &Amp; IoT C/C++ Programs
T2  - Preprints
AU  - Manzhos, Yuriy
AU  - Sokolova, Yevheniia
PY  - 2023
DA  - 2023/05/31
PB  - Preprints