External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Framework for CFG-Based Static Program Analysis of Ada Programs

Raul Fechete, Georg Kienesberger, Johann Blieberger. A Framework for CFG-Based Static Program Analysis of Ada Programs. In Fabrice Kordon, Tullio Vardanega, editors, Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings. Volume 5026 of Lecture Notes in Computer Science, pages 130-143, Springer, 2008. [doi]

Authors

Raul Fechete

This author has not been identified. Look up 'Raul Fechete' in Google

Georg Kienesberger

This author has not been identified. Look up 'Georg Kienesberger' in Google

Johann Blieberger

This author has not been identified. Look up 'Johann Blieberger' in Google
runs on