top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci







Boldo, Sylvie
ID: 871919

Opere

Seleziona tutte
Deseleziona


A high-level formalization of floating-point numbers in PVS
Espandi opera
...
Computer arithmetic and formal proofs
Espandi opera
...