Abstract Execution
| Title | Abstract Execution |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2019 |
| Authors | Steinhöfel, D, Hähnle, R |
| Conference Name | Proceedings of the 3rd World Congress on Formal Methods (FM) |
| Pagination | 319-336 |
| Publisher | Springer |
| DOI | 10.1007/978-3-030-30942-8_20 |
Undefined