![[IEEE IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings - Winnipeg, Man., Canada (12-15 May 2002)] IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373) - Formal modelling of the ADSP-2100 processor using HOL]()
[IEEE IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings - Winnipeg, Man., Canada (12-15 May 2002)] IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373) - Formal modelling of the ADSP-2100 processor using HOLHabibi, A.; Tahar, S.; Ghazel, A. · 2002