Titolo, Laura, 19..-....
VIAF ID: 61164476730325912973 (Personal)
Permalink: http://viaf.org/viaf/61164476730325912973
Preferred Forms
Works
Title | Sources |
---|---|
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique | |
Fast and efficient bit-level precision tuning | |
Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings | |
Relational Arithmetics for Abstract Interpretation Based Analysis of Numerical Accuracy Properties. |