412 followers
RT @purdue_pl: 📰RHLE: Modular Deductive Verification of Relational ∀∃ Properties 👥Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjami…
RT @purdue_pl: 📰RHLE: Modular Deductive Verification of Relational ∀∃ Properties 👥Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjami…
📰RHLE: Modular Deductive Verification of Relational ∀∃ Properties 👥Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware @ APLAS'22 🔗https://t.co/ux5QD7zuoO @rcdickerson @GhostofBendy