Publication

[HeizmannCDGHLNMSSP18] Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) Heizmann, M.; Chen, Y.-F.; Dietsch, D.; Greitschus, M.; Hoenicke, J.; Li, Y.; Nutz, A.; Musa, B.; Schilling, C.; Schindler, T. and Podelski, A. In TACAS, LNCS , 2018.Downloads: bib