TU Darmstadt / ULB / TUbiblio

Abstract Execution

Steinhöfel, Dominic and Hähnle, Reiner (2019):
Abstract Execution.
In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Berlin, Springer, pp. 319-336, DOI: 10.1007/978-3-030-30942-8_20,
[Online-Edition: https://doi.org/10.1007/978-3-030-30942-8_20],
[Book Section]

Item Type: Book Section
Erschienen: 2019
Creators: Steinhöfel, Dominic and Hähnle, Reiner
Title: Abstract Execution
Language: English
Title of Book: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Place of Publication: Berlin
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 18 Oct 2019 08:22
DOI: 10.1007/978-3-030-30942-8_20
Official URL: https://doi.org/10.1007/978-3-030-30942-8_20
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