Examens corriges

Proceedings of the workshop on Analyzing Real Data with Formal ...

Je tiens `a exprimer toute ma reconnaissance et mon amitié `a Karell Bertet et Jean-. Marc Ogier qui m'ont encadrée de la meilleure des mani`eres au cours ...





Télécharger