PEQcheck: Localized and Context-aware Checking of Functional Equivalence
| Title | PEQcheck: Localized and Context-aware Checking of Functional Equivalence |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2021 |
| Authors | Jakobs, M-C |
| Conference Name | Proceedings of the 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Pagination | 130-140 |
| Publisher | IEEE |
| DOI | 10.1109/FormaliSE52586.2021.00019 |
Undefined