TY  - RPRT
TI  - Logical Pseudocode: Connecting Algorithms with Proofs
AU  - Keehang Kwon
AU  - Hyung Joon Kwon
PY  - 2022
UR  - https://arxiv.org/abs/2201.12572
ID  - 2201.12572
ER  -