Algorithmes, Types, Preuves - IRIT
Correction totale: Exercice. Essayer de prouver la correction totale du ... Scénario: Retrait d'une somme d'un distributeur de billets. Comportement du ...
Correction totale: Exercice. Essayer de prouver la correction totale du ... Scénario: Retrait d'une somme d'un distributeur de billets. Comportement du ...