This page shows all presentations of this author published in EasyChair Smart Slide.
Formal Specification and Verification of Dynamic Parametrized Architectures
Alessandro Cimatti, Ivan Stojic and Stefano Tonetta