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

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

doi:openalex:W2908570609

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

Katelaan, Jens (Corresponding author) ; Matheja, Christoph (Corresponding author)^RWTH* ; Noll, Thomas^RWTH* ; Zuleger, Florian (Corresponding author)

In
LPAR-22 : 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning / editors: Gilles Barthe, Geoff Sutcliffe and Margus Veanes, Seiten/Artikel-Nr: 23-36

2018

Konferenz/Event:13. International Workshop on the Implementation of Logics , Awassa , Ethiopia , IWIL 2018 , 2018-11-16 - 2018-11-16

Konferenz/Event:22. International Conference on Logic for Programming Artificial Intelligence and Reasoning , Awasa , Ethiopia , LPAR-22 , 2018-11-16 - 2018-11-21

Impressum[Manchester] : EasyChair

Umfang23-36

ReiheEPiC series in computing ; 57