Alexsa

Algorithm Explanation by Shape Analysis
Extensions to the TVLA System

Diploma thesis by
Ronald Bieber

Subject provided by
Prof. Dr. Reinhard Wilhelm


The thesis

The software