SAIV 2025

Speaker

Bernhard Beckert

Talks at this conference:
 Mon, 10:00 Revisiting Differential Verification: Equivalence Verification with Confidence

 Overview