[Back]


Contributions to Proceedings:

M. Sighireanu, J. Katelaan, C. Matheja, T. Noll, F. Zuleger et al.:
"SL-COMP: Competition of Solvers for Separation Logic";
in: "25th International Conference, TACAS 2019", Springer, 2019, 116 - 132.



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


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