Automated Reasoning and the future of Formal Methods Download pdf 2019 Presentation Slides License: CC-2.5 Submitted by Clark Barrett on Thu, 01/14/2021 - 09:21