Logo Logo

Hochschulschrift(en), die von Katoen, Joost-Pieter begutachtet wurde(n)

Anzahl der Einträge: 1.

Spiessl, Martin (2024): Leveraging invariant information towards incremental Software Model Checking. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Diese Liste wurde am Mon Jun 30 21:42:32 2025 CEST erstellt.