TY  - RPRT
TI  - Horn-ICE Learning for Synthesizing Invariants and Contracts
AU  - Deepak D'Souza
AU  - P. Ezudheen
AU  - Pranav Garg
AU  - P. Madhusudan
AU  - Daniel Neider
PY  - 2017
DO  - 10.1145/3276501
UR  - https://arxiv.org/abs/1712.09418
ID  - 1712.09418
ER  -