TU Darmstadt / ULB / TUbiblio

Abstract Execution

Steinhöfel, Dominic ; Hähnle, Reiner
ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (eds.) (2019):
Abstract Execution.
In: Lecture Notes in Computer Science Ser. ; 11800, In: Formal Methods - The Next 30 Years, pp. 319-336,
Cham, Springer International Publishing, 3rd World Congress on Formal Methods (FM 2019), Porto, Portugal, October 7-11, 2019, ISBN 978-3-030-30942-8,
DOI: 10.1007/978-3-030-30942-8_20,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2019
Editors: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N.
Creators: Steinhöfel, Dominic ; Hähnle, Reiner
Title: Abstract Execution
Language: English
Book Title: Formal Methods - The Next 30 Years
Series: Lecture Notes in Computer Science Ser. ; 11800
Place of Publication: Cham
Publisher: Springer International Publishing
ISBN: 978-3-030-30942-8
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: 3rd World Congress on Formal Methods (FM 2019)
Event Location: Porto, Portugal
Event Dates: October 7-11, 2019
Date Deposited: 29 Nov 2019 08:38
DOI: 10.1007/978-3-030-30942-8_20
URL / URN: https://doi.org/10.1007/978-3-030-30942-8
PPN:
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