LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Aktuelles » Informations

Prédire le comportement de programmes par "model checking"

Mehr Informationen hier

 Mentions légales
Plan |