Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1712.09418.pdf (Preprint), 291KB
D'Souza, D., Ezudheen, P., Garg, P., Madhusudan, P., & Neider, D. (2017). Horn-ICE Learning for Synthesizing Invariants and Contracts. Retrieved from http://arxiv.org/abs/1712.09418.