Ezudheen, P and Neider, D and D'Souza, D and Garg, P and Madhusudan, P (2018) Horn-ice learning for synthesizing invariants and contracts. In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA).