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