Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Towards_Strong_Higher-Order_Automation_for_Fast_Interactive_Verification.pdf (Publisher version), 211KB
Blanchette, J. C., Fontaine, P., Schulz, S., & Waldmann, U. (2017). Towards Strong Higher-Order Automation for Fast Interactive Verification. In G. Reger, & D. Traytel (Eds.), ARCADE 2017 (pp. 16-23). doi:10.29007/3ngx.