TU Darmstadt / ULB / TUbiblio

A Program Logic for Dependence Analysis

Bubel, Richard and Hähnle, Reiner and Tabar, Asmae Heydari Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia (eds.) (2019):
A Program Logic for Dependence Analysis.
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, DOI: 10.1007/978-3-030-34968-4_5,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2019
Editors: Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia
Creators: Bubel, Richard and Hähnle, Reiner and Tabar, Asmae Heydari
Title: A Program Logic for Dependence Analysis
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: Integrated Formal Methods - 15th International Conference, IFM 2019
Event Location: Bergen, Norway
Event Dates: December 2-6, 2019
Date Deposited: 29 Nov 2019 06:42
DOI: 10.1007/978-3-030-34968-4_5
Official URL: https://doi.org/10.1007/978-3-030-34968-4\_5
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details