I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Algebraic approach to arithmetic design verification:

, In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
Basith, Mohamed Abdul ; Ahmad, Tariq ; Rossi, André. - p. 67-71 , 2011
Link: https://dl.acm.org/doi/10.5555/2157654.2157668