Quantitative separation logic: a logic for reasoning about probabilistic pointer programs

New York, NY, USA / ACM (2019) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

Proceedings of the ACM on programming languages
Band: 3
Ausgabe: POPL
Seite(n): 34

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Noll, Thomas

Identifikationsnummern