Login | Register

Items where Author is "Dekdouk, Abdelkader"

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


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 Mon Dec 11 03:15:03 2023 EST.
Back to top Back to top