A Program Logic for Dependence Analysis
| Title | 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