Sujet de l'examen
17 janv. 2008 ... Examen '. Jeudi 17 ... On recommande de bien lire l'énoncé d'un exercice avant
de ... variante de la logique de Hoare pour la correction totale.
17 janv. 2008 ... Examen '. Jeudi 17 ... On recommande de bien lire l'énoncé d'un exercice avant
de ... variante de la logique de Hoare pour la correction totale.