Record link: 
http://hdl.handle.net/20.500.12708/52528
-
Title: 
A Framework for CFG-Based Static Program Analysis of Ada Programs
en
Citation: 
Fechete, R., Kienesberger, G., & Blieberger, J. (2008). A Framework for CFG-Based Static Program Analysis of Ada Programs. In F. Kordon & T. Vardanega (Eds.), Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings (pp. 130–143). Springer - LNCS. https://doi.org/10.1007/978-3-540-68624-8_10
-
Publisher DOI: 
10.1007/978-3-540-68624-8_10
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Fechete, Raul 
Kienesberger, Georg 
Blieberger, Johann 
-
Organisational Unit: 
E191-03 - Forschungsbereich Automation Systems 
-
Published in: 
Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings 
-
ISBN: 
978-3-540-68621-7
-
DOI of the book: 
10.1007/978-3-540-68624-8
-
Date (published): 
2008
-
Event name: 
Reliable Software Technologies - Ada-Europe 
-
Event date: 
10-Jun-1996 - 14-Jun-1996
-
Event place: 
Montreux, Switzerland, Austria
-
Number of Pages: 
14
-
Publisher: 
Springer - LNCS, 5026
-
Publisher: 
Springer, Berlin, Heidelberg
-
Peer reviewed: 
Yes
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 25%
Logic and Computation: 25%
Computer Science Foundations: 50%
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

134
checked on Nov 3, 2023

Google ScholarTM

Check