Safer Parallelization
| Title | 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