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

Video here …

Mentions légales
Site map