This page shows all presentations of this author published in EasyChair Smart Slide.
Leveraging Highly Automated Theorem Proving for Certication
Deni Raco, Bernhard Rumpe and Sebastian Stüber