2/4 Sémantique, spécifications - MOOC Programmation récursive
Channel: Christian Queinnec
Date: 01/09/2014

Qui a la charge de la preuve que la spécification est bien respectée ?