Safer Parallelization
Titel | Safer Parallelization |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2020 |
Authors | Hähnle, R, Tabar, AHeydari, Mazaheri, A, Norouzi, M, Steinhöfel, D, Wolf, F |
Conference Name | Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA) |
Pagination | 117-137 |
Publisher | Springer |
DOI | 10.1007/978-3-030-61470-6_8 |
Undefined