Author:
Nicole Olivier,Lemerre Matthieu,Bardin Sebastien,Rival Xavier
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09
2. Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-11
3. Lightweight Shape Analysis Based on Physical Types;Lecture Notes in Computer Science;2022