TU Darmstadt / ULB / TUbiblio

Abstract Execution

Steinhöfel, Dominic and Hähnle, Reiner ter Beek, Maurice H. and McIver, Annabelle and N., Jos\' (eds.) (2019):
Abstract Execution.
In: Formal Methods - The Next 30 Years, In: 3rd World Congress on Formal Methods (FM 2019), Porto, Portugal, October 7-11, 2019, DOI: 10.1007/978-3-030-30942-8_20,
[Online-Edition: https://doi.org/10.1007/978-3-030-30942-8],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2019
Editors: ter Beek, Maurice H. and McIver, Annabelle and N., Jos\'
Creators: Steinhöfel, Dominic and Hähnle, Reiner
Title: Abstract Execution
Language: English
Title of Book: Formal Methods - The Next 30 Years
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
Official URL: https://doi.org/10.1007/978-3-030-30942-8
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