This page shows all presentations of this author published in EasyChair Smart Slide.
On Invariant Synthesis for Parametric Systems
Dennis Peuter and Viorica Sofronie-Stokkermans
On Inductive Verification and Synthesis