LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Noticias » Información

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

Más detalles aquí

 Mentions légales
Mapa del sitio |