Publications
-
2024
DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, vol. 14570. Cham: Springer Nature Switzerland AG, 2024, pp. 188-206. ISBN 978-3-031-57245-6.
Detail