EasyChair Smart Slide
Temporal Verification of Programs via First-Order Fixpoint Logic
Temporal Verification of Programs via First-Order Fixpoint Logic