Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Neider, D., Garg, P., Madhusudan, P., Saha, S., & Park, D. (2018). Invariant Synthesis for Incomplete Verification Engines. In D. Beyer, & M. Huisman (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 232-250). Berlin: Springer. doi:10.1007/978-3-319-89960-2_13.