Author:
Akbarpour B.,Abdel-Hamid A. T.,Tahar S.,Harrison J.
Publisher
Oxford University Press (OUP)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verified reductions for optimization;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Touring the MetaCoq Project (Invited Paper);Electronic Proceedings in Theoretical Computer Science;2021-07-16
3. Introduction to Model Checking;Handbook of Model Checking;2018
4. Floating-Point Formats and Environment;Handbook of Floating-Point Arithmetic;2018
5. Verifying Floating-Point Algorithms;Handbook of Floating-Point Arithmetic;2018