TY  - RPRT
TI  - An Abstract Contract Theory for Programs with Procedures
AU  - Christian Lidström
AU  - Dilian Gurov
PY  - 2021
UR  - https://arxiv.org/abs/2101.06087
ID  - 2101.06087
ER  -