PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
Title | 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> |
Pages | 1-37 |
Publisher | ArXiv |
DOI | 10.48550/arXiv.2101.09042 |
Undefined