LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Novidades » Informações

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

Web page

 Mentions légales
Mapa do site |