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.
9th International Conference on Formal Methods in Software Engineering. virtual Conference (22.-30.05.2021)
doi: 10.1109/FormaliSE52586.2021.00019
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2021
Autor(en): Jakobs, Marie-Christine
Art des Eintrags: Bibliographie
Titel: PEQCHECK: Localized and Context-aware Checking of Functional Equivalence
Sprache: Englisch
Publikationsjahr: 24 Juni 2021
Verlag: IEEE
Buchtitel: Proceedings: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)
Veranstaltungstitel: 9th International Conference on Formal Methods in Software Engineering
Veranstaltungsort: virtual Conference
Veranstaltungsdatum: 22.-30.05.2021
DOI: 10.1109/FormaliSE52586.2021.00019
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme
Hinterlegungsdatum: 08 Jul 2021 08:47
Letzte Änderung: 08 Jul 2021 08:47
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen