TU Darmstadt / ULB / TUbiblio

Automated Analysis of Data-Dependent Programs with Dynamic Memory

Abdulla, Parosh Aziz and Atto, Muhsin and Cederberg, Jonathan and Ji, Ran
Liu, Zhiming and Ravn, Anders (eds.) (2009):
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, In: LNCS, 5799, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2009
Editors: Liu, Zhiming and Ravn, Anders
Creators: Abdulla, Parosh Aziz and Atto, Muhsin and Cederberg, Jonathan and Ji, Ran
Title: Automated Analysis of Data-Dependent Programs with Dynamic Memory
Language: German
Title of Book: Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA)
Series Name: LNCS
Volume: 5799
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2009-1901
Export:

Optionen (nur für Redakteure)

View Item View Item