Reusing Predicate Precision in Value Analysis
Titel | Reusing Predicate Precision in Value Analysis |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2022 |
Authors | Jakobs, M-C |
Conference Name | Proceedings of the 17th International Conference on Integrated Formal Methods (IFM) |
Pagination | 63-85 |
Publisher | Springer |
DOI | 10.1007/978-3-031-07727-2_5 |
Undefined