TY  - RPRT
TI  - Automatic Error Localization for Software using Deductive Verification
AU  - Robert Koenighofer
AU  - Ronald Toegl
AU  - Roderick Bloem
PY  - 2014
UR  - https://arxiv.org/abs/1409.4637
ID  - 1409.4637
ER  -