Login | Register

Items where Author is "Dekdouk, Abdelkader"

Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Akbarpour, Behzad, Tahar, Sofiène and Dekdouk, Abdelkader (2005) Formalization of Fixed-Point Arithmetic in HOL. Formal Methods in System Design, 27 (1-2). pp. 173-200. ISSN 0925-9856

This list was generated on Sat Dec 14 03:12:03 2024 EST.
Back to top Back to top