Home | english  | Impressum | Sitemap | KIT

Buffer-Overflow-Analyse mittels Bounded Model Checking

Buffer-Overflow-Analyse mittels Bounded Model Checking
Forschungsthema:Software-Verifikation
Typ:Diplomarbeit
Betreuer:

Dr. Carsten Sinz

Bearbeiter:

N.N.