December 5, 2022

Robert Dickerson will present RHLE: Modular Deductive Verification of Relational ∀∃ Properties at APLAS’22!