PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle
facilityLyon, Rhône-Alpes, France
Research output, citation impact, and the most-cited recent papers from PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
0
h-index
0
i10-index
0
Also known as
PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formellePASCALINE: Computer Arithmetic, Computer Algebra and Formal Verification
Top-cited papers from PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle
No indexed publications for this institution yet.