LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Новости » Информация

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

Более подробно

 Mentions légales
Карта сайта |