[Back]


Contributions to Proceedings:
J. Pagel, C. Matheja, F. Zuleger:
"Effective Entailment Checking for Separation Logic with Inductive Definitions";
in: "25th International Conference, TACAS 2019", Springer, 2019, 319 - 336.

Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_287079.pdf

Created from the Publication Database of the Vienna University of Technology.