Navigation
Actualités
Nouvelles publications
- Quelques Publications
Récentes
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Sylvain Boulmé: Construire des logiciels fiables