Anton Varonka

Avancer la génération automatique d'invariants de boucle pour une vérification logicielle fiable.