Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL /

Đã lưu trong:
Chi tiết về thư mục
Tác giả khác: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt