Author:
Calcagno Cristiano,Distefano Dino,O’Hearn Peter W.,Yang Hongseok
Publisher
Springer Berlin Heidelberg
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Synthesis of Software Contracts with KindSpec;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. A Product of Shape and Sequence Abstractions;Static Analysis;2023
3. Refined Modularization for Bounded Model Checking Through Precondition Generation;Formal Methods and Software Engineering;2022
4. A relational shape abstract domain;Formal Methods in System Design;2021-04-24
5. Function Pointer Eliminator for C Programs;Programming Languages and Systems;2021