A Program Logic for Dependence Analysis
Titel | A Program Logic for Dependence Analysis |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2019 |
Authors | Bubel, R, Hähnle, R, Tabar, AHeydari |
Conference Name | Proceedings of 15th International Conference on Integrated Formal Methods (iFM) |
Pagination | 83-100 |
Publisher | Springer |
DOI | 10.1007/978-3-030-34968-4_5 |
Undefined