Home | english  | Impressum | Datenschutz | Sitemap | KIT

Generating Preconditions for a Modular Analysis

Generating Preconditions for a Modular Analysis
Forschungsthema:Generating Preconditions for a Modular Analysis based on Bounded Model Checking
Typ:Masterarbeit
Datum:ab sofort (2019)
Betreuer:

Marko Kleine Büning