TU Darmstadt / ULB / TUbiblio

A Program Logic for Dependence Analysis

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (eds.) (2019):
A Program Logic for Dependence Analysis.
In: Lecture Notes in Computer Science, 11918, In: Integrated Formal Methods, pp. 83-100,
Springer, 15th International Conference onIntegrated Formal Methods (IFM 2019), Bergen, Norway, 02.-06.11.2019, ISBN 978-3-030-34967-7,
DOI: 10.1007/978-3-030-34968-4_5,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2019
Editors: Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia
Creators: Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
Title: A Program Logic for Dependence Analysis
Language: English
Title of Book: Integrated Formal Methods
Series Name: Lecture Notes in Computer Science
Volume: 11918
Publisher: Springer
ISBN: 978-3-030-34967-7
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: 15th International Conference onIntegrated Formal Methods (IFM 2019)
Event Location: Bergen, Norway
Event Dates: 02.-06.11.2019
Date Deposited: 29 Nov 2019 06:42
DOI: 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