This page shows all presentations of this author published in EasyChair Smart Slide.
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Yoji Nanjo, Hiroshi Unno, Eric Koskinen and Tachio Terauchi