Interactive Proof Systems for Automated Reasoning

Speaker: Javier Esparza
Affiliation: Technical University of Munich
Type: Scientific Talk

Abstract

Abstract to be confirmed.