TU Darmstadt / ULB / TUbiblio

PEQCHECK: Localized and Context-aware Checking of Functional Equivalence

Jakobs, Marie-Christine (2021):
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence.
In: Proceedings: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021), pp. 130-140,
IEEE, 9th International Conference on Formal Methods in Software Engineering, virtual Conference, 22.-30.05.2021, ISBN 978-1-6654-2984-9,
DOI: 10.1109/FormaliSE52586.2021.00019,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2021
Creators: Jakobs, Marie-Christine
Title: PEQCHECK: Localized and Context-aware Checking of Functional Equivalence
Language: English
Title of Book: Proceedings: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)
Publisher: IEEE
ISBN: 978-1-6654-2984-9
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Event Title: 9th International Conference on Formal Methods in Software Engineering
Event Location: virtual Conference
Event Dates: 22.-30.05.2021
Date Deposited: 08 Jul 2021 08:47
DOI: 10.1109/FormaliSE52586.2021.00019
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details