TY  - RPRT
TI  - Deductive Verification via the Debug Adapter Protocol
AU  - Gidon Ernst
AU  - Johannes Blau
AU  - Toby Murray
PY  - 2021
DO  - 10.4204/eptcs.338.11
UR  - https://arxiv.org/abs/2108.02968
ID  - 2108.02968
ER  -