Presentation

AOSTE stopped on December, 31, 2016.
Perhaps you’re interested in the KAIROS team whose website can be found here: http://team.inria.fr/kairos

Permanent link to this article: https://team.inria.fr/aoste/