Home
|
Legals
|
Data Protection
|
Sitemap
|
KIT
Research Group "Verification Meets Algorithm Engineering" at the Theoretical Computer Science Department
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.