[Back]


Contributions to Proceedings:
M. Sighireanu, J. Pagel, 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.