Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

(2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

13th International Workshop on the Implementation of Logics (IWIL 2018)
Seite(n): 23-36

Autorinnen und Autoren

Autorinnen und Autoren

Katelaan, Jens
Matheja, Christoph
Noll, Thomas
Zuleger, Florian

Identifikationsnummern