[Back]


Contributions to Proceedings:

J. Katelaan, 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.