Luca Geatti

Une nouvelle méthode améliore la vérification des logiciels en utilisant les Langages de Précédence des Opérateurs et SMT.