Cargando…
Formal verification of floating-point hardware design: a mathematical approach
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2018
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2710675 |