LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » Informazioni

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

Maggiori dettagli qui

 Mentions légales
Mappa del sito |