Author:
Albert Elvira,Bubel Richard,Genaim Samir,Hähnle Reiner,Puebla Germán,Román-Díez Guillermo
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. When COSTA Met KeY: Verified Cost Bounds;The Logic of Software. A Tasting Menu of Formal Methods;2022
2. Resource Contracts for Java;ACM SIGSOFT Software Engineering Notes;2017-01-05
3. Analyzing Runtime and Size Complexity of Integer Programs;ACM Transactions on Programming Languages and Systems;2016-10-13
4. A formal verification framework for static analysis;Software & Systems Modeling;2015-07-15
5. Theorem Prover Based Static Analyzer: Comparison Analysis Between ESC/Java2 and KeY;Lecture Notes in Electrical Engineering;2014-11-02