TY  - RPRT
TI  - Operational Annotations: A new method for sequential program verification
AU  - Paul C Attie
PY  - 2022
UR  - https://arxiv.org/abs/2102.06727
ID  - 2102.06727
ER  -