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