<div class="csl-bib-body">
<div class="csl-entry">Fechete, R., Kienesberger, G., & Blieberger, J. (2008). A Framework for CFG-Based Static Program Analysis of Ada Programs. In F. Kordon & T. Vardanega (Eds.), <i>Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings</i> (pp. 130–143). Springer - LNCS. https://doi.org/10.1007/978-3-540-68624-8_10</div>
</div>
-
dc.identifier.isbn
9783540686217
-
dc.identifier.isbn
9783540686248
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/52528
-
dc.language.iso
en
-
dc.publisher
Springer - LNCS
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
A Framework for CFG-Based Static Program Analysis of Ada Programs
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.isbn
978-3-540-68621-7
-
dc.relation.doi
10.1007/978-3-540-68624-8
-
dc.relation.issn
0302-9743
-
dc.description.startpage
130
-
dc.description.endpage
143
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
5026
-
tuw.booktitle
Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
25
-
tuw.researchTopic.value
25
-
tuw.researchTopic.value
50
-
tuw.publication.orgunit
E191-03 - Forschungsbereich Automation Systems
-
tuw.publisher.doi
10.1007/978-3-540-68624-8_10
-
dc.description.numberOfPages
14
-
tuw.event.name
Reliable Software Technologies - Ada-Europe
-
tuw.event.startdate
10-06-1996
-
tuw.event.enddate
14-06-1996
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Montreux, Switzerland
-
tuw.event.place
Montreux, Switzerland
-
tuw.event.country
AT
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
crisitem.author.dept
TU Wien
-
crisitem.author.dept
E384 - Institut für Computertechnik
-
crisitem.author.dept
E191 - Institut für Computer Engineering
-
crisitem.author.orcid
0000-0001-5810-7335
-
crisitem.author.parentorg
E350 - Fakultät für Elektrotechnik und Informationstechnik