Abdel-Hamid, A. T., Akbarpour, B., Harrison, J., & Tahar, S. Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL.
शिकागो स्टाइल उद्धरणAbdel-Hamid, Amr T., Behzad Akbarpour, John Harrison, और Sofine Tahar. Verifying a Synthesized Implementation of IEEE-754 Floating-point Exponential Function Using HOL.
एमएलए उद्धरणAbdel-Hamid, Amr T., Behzad Akbarpour, John Harrison, और Sofine Tahar. Verifying a Synthesized Implementation of IEEE-754 Floating-point Exponential Function Using HOL.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.