| |
| 2005 | ||
|---|---|---|
| 2 | EE | Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk: Formalization of Fixed-Point Arithmetic in HOL. Formal Methods in System Design 27(1-2): 173-200 (2005) |
| 2002 | ||
| 1 | EE | Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar: Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. IFM 2002: 185-204 |
| 1 | Behzad Akbarpour | [1] [2] |
| 2 | Sofiène Tahar | [1] [2] |