TP - Preuve de programmes avec Why3

TP - Preuve de programmes avec Why3

Jury : Antoine Amarilli et Thibaut Balabonski. Modalités de l'épreuve. L'épreuve orale d'informatique fondamentale décrite dans ce rapport est spécifique au ...