EasyChair Smart SlideDocs/Log in
Author: Viorica Sofronie-Stokkermans

This page shows all presentations of this author published in EasyChair Smart Slide.

On Invariant Synthesis for Parametric Systems

On Invariant Synthesis for Parametric Systems

Dennis Peuter and Viorica Sofronie-Stokkermans

On Inductive Verification and Synthesis

On Inductive Verification and Synthesis

Dennis Peuter and Viorica Sofronie-Stokkermans

Presentations in this collection: 2
Copyright © 2002 – 2025 EasyChair