- Laboratoire d’informatique Sorbonne Université - CNRS UMR 7606

Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein

Prédire le comportement de programmes par «model checking»

Lien vers la vidéo …