Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Thèse en cours de BORGNA Agustin Pablo
BORGNA Agustin Pablo
Thèse en cours
Equipe : Vérification d'Algorithmes, Langages et Systèmes

Towards a formal compilation stack-frame in quantum computing

Début le 14/10/2019
Direction : VALIRON, Benoît

Ecole doctorale : IAEM Lorraine
Etablissement d'inscription : vide

Lieu de déroulement : LRI- VALS

Soutenue le 01/01/1970 devant le jury composé de :

Activités de recherche :

Résumé :