New reseach member joined in Juin 2018
Posted on Wed 20 June 2018 in misc
A new research member, Jordy Ruiz, joined in Juin 2018. He will work on polyhedral domain abstract interpretation, in the context of WCET computation (WP2).
Posted on Wed 20 June 2018 in misc
A new research member, Jordy Ruiz, joined in Juin 2018. He will work on polyhedral domain abstract interpretation, in the context of WCET computation (WP2).