Research stage
Stage: Verification a l'execution de specifications decentralisees hierarchiques
Université René Descartes (Paris V), 2016
s justo in hac habitasse platea dictumst etiam faucibus cursus urna ut tellus nulla ut erat id mauris vulputate elementum nullam varius nulla facilisi cras non velit nec nisi vulputate nonummy maecenas tincidunt lacus at velit vivamus vel nulla eget eros