Projet étudiant @ Université d'Angers — Thibaut Roperch

Votre navigateur est obsolète !

Pour une expériencenet et une sécurité optimale, mettez à jour votre navigateur. Mettre à jour maintenant

Expériences

Étude de la logique de Hoare
Implémentation d'un analyseur syntaxique en Lex et Yacc et d'une interface graphique avec Qt
Réalisation d'un rapport écrit et d'une présentation orale

Détails de l'expérience

Projet tutoré d'une durée de deux mois réalisé en fin de licence informatique