This page shows all presentations of this author published in EasyChair Smart Slide.
Simulation under arbitrary temporal logic constraints
Julien Brunel, David Chemouil, Alcino Cunha and Nuno Macedo
Improving the Visualization of Alloy Instances
Rui Couto, José Creissac Campos, Nuno Macedo and Alcino Cunha