Home | deutsch  | Legals | Sitemap | KIT

Buffer-Overflow-Analyse mittels Bounded Model Checking

Buffer-Overflow-Analyse mittels Bounded Model Checking
chair:Software-Verifikation
type:Diplomarbeit
tutor:

Ph.D. Carsten Sinz

person in charge:

N.N.