TU Darmstadt / ULB / TUbiblio

Abstract Execution

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (07.10.2019-11.10.2019)
doi: 10.1007/978-3-030-30942-8_20
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2019
Herausgeber: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N.
Autor(en): Steinhöfel, Dominic ; Hähnle, Reiner
Art des Eintrags: Bibliographie
Titel: Abstract Execution
Sprache: Englisch
Publikationsjahr: 2019
Ort: Cham
Verlag: Springer International Publishing
Buchtitel: Formal Methods - The Next 30 Years
Reihe: Lecture Notes in Computer Science Ser. ; 11800
Veranstaltungstitel: 3rd World Congress on Formal Methods (FM 2019)
Veranstaltungsort: Porto, Portugal
Veranstaltungsdatum: 07.10.2019-11.10.2019
DOI: 10.1007/978-3-030-30942-8_20
URL / URN: https://doi.org/10.1007/978-3-030-30942-8
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Software Engineering
Hinterlegungsdatum: 29 Nov 2019 08:38
Letzte Änderung: 13 Dez 2021 13:15
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