AMARETTO 2016Posted in Verification1st domAin specific Model-based AppRoaches to vErificaTion and validaTiOn Event Date: Feb 19, 2016 - Feb 19, 2016 Posted inLocation: Rome Deadline: Nov 25, 2015
