Author:
Costantini Giulia,Ferrara Pietro,Cortesi Agostino
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sound Automation of Magic Wands;Computer Aided Verification;2022
2. The abstract domain of Trapezoid Step Functions;Computer Languages, Systems & Structures;2015-10
3. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software;Formal Methods and Software Engineering;2013