Steinhöfel, Dominic ; 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
doi: 10.1007/978-3-030-30942-8_20
Book Section, Bibliographie
URL / URN: https://doi.org/10.1007/978-3-030-30942-8_20
| Item Type: | Book Section |
|---|---|
| Erschienen: | 2019 |
| Creators: | Steinhöfel, Dominic ; Hähnle, Reiner |
| Type of entry: | Bibliographie |
| Title: | Abstract Execution |
| Language: | English |
| Date: | October 2019 |
| Place of Publication: | Berlin |
| Publisher: | Springer |
| Book Title: | Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings |
| DOI: | 10.1007/978-3-030-30942-8_20 |
| URL / URN: | https://doi.org/10.1007/978-3-030-30942-8_20 |
| Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Software Engineering |
| Date Deposited: | 18 Oct 2019 08:22 |
| Last Modified: | 18 Oct 2019 08:22 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum