Prédire le comportement de programmes par «model checking»

Lien vers la vidéo …

Mentions légales
Carte du site