Travelled to:
1 × Italy
Collaborated with:
R.Fechete J.Blieberger
Talks about:
program (2) framework (1) analysi (1) static (1) base (1) cfg (1) ada (1)
Person: Georg Kienesberger
DBLP: Kienesberger:Georg
Contributed to:
Wrote 1 papers:
- AdaEurope-2008-FecheteKB #ada #framework #program analysis #source code
- A Framework for CFG-Based Static Program Analysis of Ada Programs (RF, GK, JB), pp. 130–143.