PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
| Titel | PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report) |
| Publication Type | Artikel ohne Peer Review (erschienen) |
| Year of Publication | 2021 |
| Authors | Jakobs, M-C |
| How Published | ArXiv E-Print 2101.09042: <a href="https://doi.org/10.48550/arXiv.2101.09042">https://doi.org/10.48550/arXiv.2101.09042</a> |
| Seiten | 1-37 |
| Publisher | ArXiv |
| DOI | 10.48550/arXiv.2101.09042 |
Undefined