TY  - GENERIC
DO  - 10.20944/preprints202305.0311.v2
UR  - http://dx.doi.org/10.20944/preprints202305.0311.v2
TI  - Formal Calculation
T2  - Preprints
AU  - Peng, Ji
PY  - 2023
DA  - 2023/08/02
PB  - Preprints