Automated reasoning and randomization in separation logic

Aachen (2020) [Doktorarbeit]

Seite(n): 1 Online-Ressource (x, 504 Seiten) : Illustrationen, Diagramme

Autorinnen und Autoren

Autorinnen und Autoren

Matheja, Christoph

Gutachterinnen und Gutachter

Katoen, Joost-Pieter
Iosif, Radu