EasyChair Smart Slide
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
A Fixpoint Logic and Dependent Effects for Temporal Property Verification