Identifiant pérenne de la notice : 250813858
Notice de type
Personne
Development and verification of arbitrary-precision integer arithmetic libraries /
Raphaël Rieu ; sous la direction de Guillaume Melquiond. Thèse de doctorat : Informatique
: université Paris-Saclay : 2020