Principes de la vérification de programmes à effets monadique arbitraires / par Kenji
Maillard ; sous la direction de Cătălin Hrițcu, 2019 [thèse]
https://d-nb.info/gnd/1025376161, 2021-11-22
Information trouvée : Hritcu, Cătălin
https://www.mpi-sp.org/person/105990/2775, 2021-11-22
Information trouvée : Cătălin Hrițcu. - Informaticien. Directeur de recherche, Max-Planck-Institut für Sicherheit
und Privatsphäre (MPI-SP), Bochum, Allemagne, depuis 2020