Identifiant pérenne de la notice : 280362749
Notice de type
Personne
CoqDRAM - A Foundation for Designing Formally Proven Memory Controllers / Felipe Lisboa
malaquias ; sous la direction de Lirida Naviner de barros. Thèse de doctorat : Information,
communications, électronique : Institut polytechnique de Paris : 2024
Information trouvée : né(e) le 30/04/1997 (d'après le formulaire de thèse)