Formalization of Cadence SPW Fixed-Point Arithmetic in HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar. Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. In Michael J. Butler, Luigia Petre, Kaisa Sere, editors, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Volume 2335 of Lecture Notes in Computer Science, pages 185-204, Springer, 2002. [doi]

This author has not been identified. Look up 'Behzad Akbarpour' in GoogleThis author has not been identified. Look up 'Abdelkader Dekdouk' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in Google

runs on WebDSL