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 Thu Apr 18 03:08:33 2024 EDT.
Back to top Back to top